Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Navarro Pérez, Juan A.
11100  Ergebnisse:
Personensuche X
?
1

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019
Link: https://doi.org/10.1007/..
 
?
2

Separation logic + superposition calculus = heap theorem pr..:

Navarro Pérez, Juan Antonio ; Rybalchenko, Andrey
ACM SIGPLAN Notices.  47 (2012)  6 - p. 556 , 2012
Link: https://doi.org/10.1145/..
 
?
3

Separation logic + superposition calculus = heap theorem pr..:

, In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
Navarro Pérez, Juan Antonio ; Rybalchenko, Andrey - p. 556-566 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

Separation logic + superposition calculus = heap theorem pr..:

Navarro Pérez, Juan Antonio ; Rybalchenko, Andrey
ACM SIGPLAN Notices.  46 (2011)  6 - p. 556-566 , 2011
Link: https://doi.org/10.1145/..
 
?
5

Safe beliefs for propositional theories:

Osorio, Mauricio ; Navarro Pérez, Juan Antonio ; Arrazola, José
Annals of Pure and Applied Logic.  134 (2005)  1 - p. 63-82 , 2005
Link: https://doi.org/10.1016/..
 
?
6

The distribution of an invasive plant in a fragile ecosyste..:

Rodríguez-Estrella, Ricardo ; Navarro, José Juan Pérez ; Granados, Bruno.
Biological Invasions.  12 (2010)  10 - p. 3389-3393 , 2010
Link: https://doi.org/10.1007/..
 
?
7

FLORISTIC COMPOSITION OF THE SAN JOSÉ DEL CABO OASIS, BAJA ..:

DE LA LUZ, JOSÉ LUIS LEÓN ; CADENA, RAYMUNDO DOMÍNGUEZ ; LEÓN, MIGUEL DOMÍNGUEZ.
SIDA, Contributions to Botany.  17 (1997)  3 - p. 599-614 , 1997
Link: https://www.jstor.org/st..
 
?
8

A decision procedure for satisfiability in separation logic..:

, In: 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),
Brotherston, James ; Fuhs, Carsten ; Pérez, Juan A. Navarro. - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Neotipificación de Behria tenuiflora Greene (Alliaceae):

León de la Luz, José Luis ; Pérez Navarro, José Juan
Acta Botanica Mexicana.  , 2004
Link: https://doi.org/10.21829..
 
?
10

SL-COMP: Competition of Solvers for Separation Logic:

Sighireanu, Mihaela ; Navarro Pérez, Juan ; Rybalchenko, Andrey...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-17502-3_8.  , 2019
Link: https://hal.science/hal-..
 
?
11

SL-COMP: Competition of Solvers for Separation Logic:

Sighireanu, Mihaela ; Navarro Pérez, Juan ; Rybalchenko, Andrey...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-17502-3_8.  , 2019
Link: https://hal.archives-ouv..
 
?
12

SL-COMP: Competition of Solvers for Separation Logic:

Sighireanu, Mihaela ; Navarro Pérez, Juan ; Rybalchenko, Andrey...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-17502-3_8.  , 2019
Link: https://hal.science/hal-..
 
?
13

Estructura y composición de la vegetación de la barra coste..:

Romero-López, Blanca Estela ; León de la Luz, José Luis ; Pérez-Navarro, José Juan.
Botanical Sciences.  , 2006
Link: https://doi.org/10.17129..
 
?
14

The spread of media content through blogs:

Cha, Meeyoung ; Pérez, Juan Antonio Navarro ; Haddadi, Hamed
Social Network Analysis and Mining.  2 (2011)  3 - p. 249-264 , 2011
Link: https://doi.org/10.1007/..
 
?
15

Ground Nonmonotonic Modal Logic S5: New Results:

Galindo, Mauricio Osorio ; Pérez, Juan Antonio Navarro ; Ramírez, José R. Arrazola.
Journal of Logic and Computation.  15 (2005)  5 - p. 787-813 , 2005
Link: https://doi.org/10.1093/..
 
1-15