Juan Antonio Pérez

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
The core of an Alexandroff space	2022-03-11	Paper
scientific article; zbMATH DE number 7228529 (Why is no real title available?)	2020-08-05	Paper
A decision procedure for satisfiability in separation logic with inductive predicates Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	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 Programming Languages and Systems	2015-01-12	Paper
Planning with effectively propositional logic Programming Logics	2013-04-19	Paper
Cardinality Abstraction for Declarative Networking Applications Computer Aided Verification	2009-06-30	Paper
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic Automated Deduction – CADE-21	2009-03-06	Paper
Logics with Common Weak Completions Journal Of Logic And Computation	2007-04-13	Paper
Ground Nonmonotonic Modal Logic S5: New Results Journal Of Logic And Computation	2006-03-09	Paper
Safe beliefs for propositional theories Annals of Pure and Applied Logic	2005-06-01	Paper
scientific article; zbMATH DE number 1330305 (Why is no real title available?)	2001-02-14	Paper
Substitutional lemma for G-spaces of 1-dimensional groups Glasgow Mathematical Journal	1997-11-25	Paper
On an ambiguity in the concept of partial and total derivatives in classical analysis (available as arXiv preprint)	N/A	Paper

Research outcomes over time

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