Juan Antonio Navarro Pérez

Available identifiers

zbMath Open perez.juan-antonio-navarroMaRDI QIDQ1779310

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5061546	2022-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q3304234	2020-08-05	Paper
A decision procedure for satisfiability in separation logic with inductive predicates	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4602003	2018-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3179025	2016-12-20	Paper
Separation Logic Modulo Theories	2015-01-12	Paper
Planning with Effectively Propositional Logic	2013-04-19	Paper
Cardinality Abstraction for Declarative Networking Applications	2009-06-30	Paper
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic	2009-03-06	Paper
Logics with Common Weak Completions	2007-04-13	Paper
Ground Nonmonotonic Modal Logic S5: New Results	2006-03-09	Paper
Safe beliefs for propositional theories	2005-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4260889	2001-02-14	Paper
Substitutional lemma for G-spaces of 1-dimensional groups	1997-11-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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