Sergio Mera

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computational models for normative multi-agent systems	2021-06-15	Paper
Completeness results for memory logics Annals of Pure and Applied Logic	2012-04-10	Paper
The expressive power of memory logics The Review of Symbolic Logic	2011-10-21	Paper
Basic model theory for memory logics Logic, Language, Information and Computation	2011-05-27	Paper
DKAL and Z3: a logic embedding experiment Fields of Logic and Computation	2010-09-03	Paper
Tableaux and model checking for memory logics Lecture Notes in Computer Science	2009-12-01	Paper
Completeness Results for Memory Logics Logical Foundations of Computer Science	2009-02-24	Paper
Algorithms for finding clique-transversals of graphs Annals of Operations Research	2008-09-03	Paper
Expressive Power and Decidability for Memory Logics Logic, Language, Information and Computation	2008-07-10	Paper
Algorithms for clique-independent sets on subclasses of circular-arc graphs Discrete Applied Mathematics	2006-08-17	Paper
scientific article; zbMATH DE number 2230210 (Why is no real title available?)	2005-11-18	Paper

Research outcomes over time

This page was built for person: Sergio Mera