Pedro Meseguer - Wissenschaftliche Veröffentlichungen

(1 - 12 von 12

)

Asynchronous backtracking without adding links: a new member in the...

www.sciencedirect.com

dblp: Pedro Meseguer

dblp.uni-trier.de

List of computer science publications by Pedro Meseguer

Pedro Meseguer - DBLPdblp.org › Persons

dblp.org

— Patricia Gutierrez, Pedro Meseguer: Distributed Constraint Optimization Problems Related with Soft Arc Consistency.

Alternative Semantics - an overview | ScienceDirect Topics

www.sciencedirect.com

Rick Steiner, in A Practical Guide to SysML (Third Edition), In some cases, additional global syntactic restrictions have to be enforced to retain decidability Pedro Meseguer, Clark did not investigate the relationship between the completion semantics and the various alternative semantics of Horn clauses.

dblp: 22. IJCAI 2011: Barcelona, Catalonia, Spain

dblp.uni-trier.de

Bibliographic content of 22. IJCAI 2011: Barcelona, Catalonia, Spain

DFG-Project "Modelling Inferences in Mental Models"

cogsys.uni-bamberg.de

In: Pedro Meseguer (Ed.) Proceedings of the Workshop on Modelling and Solving Problems with Constraints at the ECAI'2000 in Berlin. [Postscript, 6 p.] Hörnig ...