Applied Logic Series - Frontiers of Combining Systems
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Netherlands

9789401066433, 9789400903494

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking ACTL Constrained Processes

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_20 ◽

1996 ◽

pp. 377-388

Author(s):

Xiao Jun Chen

Keyword(s):

Download Full-text

CLP(x) for Proving Program Properties

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_17 ◽

1996 ◽

pp. 321-338

Author(s):

Fred Mesnard ◽

Sébastien Horau ◽

Alexandra Maillard

Download Full-text

Unified Relational Framework for Programming Paradigm Combination

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_19 ◽

1996 ◽

pp. 357-375

Author(s):

Naji Habra ◽

Baudouin le Charlier

Keyword(s):

Programming Paradigm ◽

Relational Framework

Download Full-text

Logic Tuple Spaces for the Coordination of Heterogenous Agents

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_12 ◽

1996 ◽

pp. 235-248 ◽

Author(s):

Enrico Denti ◽

Antonio Natali ◽

Andrea Omicini ◽

Marco Venuti

Keyword(s):

Heterogenous Agents ◽

Download Full-text

Generalising Propositional Modal Logic Using Labelled Deductive Systems

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_2 ◽

1996 ◽

pp. 57-73 ◽

Author(s):

Alessandra Russo

Keyword(s):

Modal Logic ◽

Propositional Modal Logic ◽

Deductive Systems ◽

Labelled Deductive Systems

Download Full-text

Combining Solvers in a Meta Constraint Logic Programming Architecture

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_14 ◽

1996 ◽

pp. 267-283

Author(s):

Evelina Lamma ◽

Michela Milano ◽

Paola Mello

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Integrating Lists, Multisets, and Sets in a Logic Programming Framework

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_16 ◽

1996 ◽

pp. 303-319 ◽

Author(s):

Agostino Dovier ◽

Alberto Policriti ◽

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Programming Framework

Download Full-text

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_11 ◽

1996 ◽

pp. 221-234 ◽

Author(s):

Jacques Calmet ◽

Karsten Homann

Keyword(s):

Symbolic Computation

Download Full-text

Integration Systems and Interaction Spaces

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_13 ◽

1996 ◽

pp. 249-266 ◽

Author(s):

Christopher Landauer ◽

Kirstie L. Bellman

Download Full-text

Membership-Constraints and Complexity in Logic Programming with Sets

Applied Logic Series - Frontiers of Combining Systems ◽

10.1007/978-94-009-0349-4_15 ◽

1996 ◽

pp. 285-302 ◽

Author(s):

Frieder Stolzenburg

Keyword(s):

Logic Programming

Download Full-text