Juan Antonio Navarro Pérez

From MaRDI portal
Revision as of 09:51, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Juan Antonio Navarro Pérez to Juan Antonio Navarro Pérez: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1779310

Available identifiers

zbMath Open perez.juan-antonio-navarroMaRDI QIDQ1779310

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50615462022-03-11Paper
https://portal.mardi4nfdi.de/entity/Q33042342020-08-05Paper
A decision procedure for satisfiability in separation logic with inductive predicates2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46020032018-01-25Paper
https://portal.mardi4nfdi.de/entity/Q31790252016-12-20Paper
Separation Logic Modulo Theories2015-01-12Paper
Planning with Effectively Propositional Logic2013-04-19Paper
Cardinality Abstraction for Declarative Networking Applications2009-06-30Paper
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic2009-03-06Paper
Logics with Common Weak Completions2007-04-13Paper
Ground Nonmonotonic Modal Logic S5: New Results2006-03-09Paper
Safe beliefs for propositional theories2005-06-01Paper
https://portal.mardi4nfdi.de/entity/Q42608892001-02-14Paper
Substitutional lemma for G-spaces of 1-dimensional groups1997-11-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Juan Antonio Navarro Pérez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1779310&oldid=10873787"
Powered by MediaWiki