Lecture Notes in Computer Science 2023 Digital Document:Systems and PrinciplesPeter King · Springer-Verlag · 2004

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming ||Milano, Michela · 2012

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9036 ||Focardi, Riccardo; Myers, Andrew · 2015

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10204 ||Maffei, Matteo; Ryan, Mark · 2017

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 7796 ||Basin, David; Mitchell, John C. · 2013

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 ||Nadathur, Gopalan · 1999

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9635 ||Piessens, Frank; Viganò, Luca · 2016

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursionMoggi, Eugenio; Rosolini, Giuseppe · 1997

Constraint relaxation may be perfectUgo Montanari; Francesca Rossi · 1991

PrefaceUgo Montanari; Francesca Rossi · 1997

Constraint Solving and Programming: What Next?Ugo Montanari; Francesca Rossi · 1997

Contextual netsUgo Montanari, Francesca Rossi · 1995

Soft concurrent constraint programmingBistarelli, Stefano; Montanari, Ugo; Rossi, Francesca · ACM Transactions on Computational Logic · 2006

An interactive semantics of logic programmingBruni, Roberto; Montanari, Ugo; Rossi, Francesca · Theory and Practice of Logic Programming · 2001

Semiring-based constraint satisfaction and optimizationBistarelli, Stefano; Montanari, Ugo; Rossi, Francesca · Journal of the ACM · 1997

An abstract machine for concurrent modular systems: CHARMAndrea Corradini; Ugo Montanari; Francesca Rossi · 1994