Titel

Merkliste
1 Ergebnisse

A lazy narrowing calculus for declarative constraint progra..:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

López-Fraguas, F. J. ; Rodríguez-Artalejo, M. ; del Vado Vírseda, Rafael - p. 43-54 , 2004

Link: https://dl.acm.org/doi/10.1145/1013963.1013972

RT 
T1 <cTitle>Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming</cTitle>: T1 <Title>A lazy narrowing calculus for declarative constraint programming</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1013972&Exemplar=1&LAN=DE
				
A1 López-Fraguas, F. J.
A1 Rodríguez-Artalejo, M.
A1 del Vado Vírseda, Rafael
PB ACM
YR 2004
K1 constraint logic programming
K1 constraint solvers
K1 functional logic programming languages
K1 narrowing
K1 rewrite systems
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Functional languages
K1 Theory of computation
K1 Formal languages and automata theory
K1 Grammars and context-free languages
K1 Constraint and logic languages
K1 Computing methodologies
K1 Artificial intelligence
K1 Knowledge representation and reasoning
K1 Logic programming and answer set programming
K1 Formalisms
K1 Rewrite systems
K1 Language features
K1 Constraints
SP 43
OP 54
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1013963.1013972
DO https://dl.acm.org/doi/10.1145/1013963.1013972
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)