dblp.uni-trier.dewww.uni-trier.de

Juan Antonio Navarro Pérez Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
8EEJuan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598
2008
7EEJuan Antonio Navarro Pérez, Andrei Voronkov: Proof Systems for Effectively Propositional Logic. IJCAR 2008: 426-440
2007
6EEJuan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. CADE 2007: 346-361
5EEJuan Antonio Navarro Pérez, Andrei Voronkov: Encodings of Problems in Effectively Propositional Logic. SAT 2007: 3
2006
4EEMauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías: Logics with Common Weak Completions. J. Log. Comput. 16(6): 867-890 (2006)
2005
3 Juan Antonio Navarro Pérez, Andrei Voronkov: Generation of Hard Non-Clausal Random Satisfiability Problems. AAAI 2005: 436-442
2EEMauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: Safe beliefs for propositional theories. Ann. Pure Appl. Logic 134(1): 63-82 (2005)
1EEMauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías: Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15(5): 787-813 (2005)

Coauthor Index

1José Arrazola [2]
2Verónica Borja Macías [1] [4]
3Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [2] [4]
4José R. Arrazola Ramírez [1] [4]
5Andrey Rybalchenko [8]
6Atul Singh [8]
7Andrei Voronkov [3] [5] [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)