Juan Antonio Pérez

Available identifiers

zbMath Open perez.juan-antonio-navarroMaRDI QIDQ1779310

List of research outcomes

Publication	Date of Publication	Type
The core of an Alexandroff space	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
Topology of sets, a first course	2018-01-25	Paper
Tychonoff and connected products theorems are equivalent	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
On an ambiguity in the concept of partial and total derivatives in classical analysis	N/A	Paper

Research outcomes over time

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