Maria Chiara Meo
According to our database1, Maria Chiara Meo authored at least 50 papers between 1991 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Fundam. Informaticae, 2019
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
Electron. Notes Theor. Comput. Sci., 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Theory Pract. Log. Program., 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Constraint Handling Rules, 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
ACM Trans. Comput. Log., 2004
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
On the Expressiveness of Concurrent Constraint Languages.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Proceedings of the CONCUR '98: Concurrency Theory, 1998
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
Sci. Comput. Program., 1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
Proceedings of the Logic Programming, 1995
A Bottom-up Semantics for Constructive Negation.
Proceedings of the Logic Programming, 1994
Proceedings of the Trees in Algebra and Programming, 1994
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Intensional Negation in Constraint Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
Observational Equivalences for Logic Programs.
Proceedings of the Logic Programming, 1992
Contributions to the Semantics of Open Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Proceedings of the Algebraic and Logic Programming, 1992
An OR-Compositional Semantics for Logic Programs.
Proceedings of the Constructing Logic Programs, 1991