Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
31 |
Material Type: Artigo
|
ON THE SEMANTICS OF PETRI NETSMESEGUER, J ; MONTANARI, U ; SASSONELecture notes in computer science, 1992-01, Vol.630, p.286-301 [Periódico revisado por pares]NEW YORK: Springer NatureSem texto completo |
|
32 |
Material Type: Artigo
|
Constraint relaxation may be perfectMontanari, Ugo ; Rossi, FrancescaArtificial intelligence, 1991, Vol.48 (2), p.143-170 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
33 |
Material Type: Artigo
|
Axiomatizing the algebra of net computations and processesDEGANO, P ; MESEGUER, J ; MONTANARI, UActa informatica, 1996-10, Vol.33 (7), p.641-667 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
34 |
Material Type: Artigo
|
An algebraic semantics for structured transition systems and its application to logic programsCorradini, Andrea ; Montanari, UgoTheoretical computer science, 1992-01, Vol.103 (1), p.51-106 [Periódico revisado por pares]AMSTERDAM: Elsevier B.VTexto completo disponível |
|
35 |
Material Type: Artigo
|
MOBILITY IN THE CC-PARADIGMLANEVE, C ; MONTANARI, ULecture notes in computer science, 1992-01, Vol.629, p.336-345 [Periódico revisado por pares]NEW YORK: Springer NatureSem texto completo |
|
36 |
Material Type: Artigo
|
Editors' note: bibliometrics and the curators of orthodoxyMSCS Editorial BoardMathematical structures in computer science, 2009-02, Vol.19 (1), p.1-4 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
37 |
Material Type: Artigo
|
Strategic directions in constraint programmingVan Hentenryck, Pascal ; Saraswat, VijayACM computing surveys, 1996-12, Vol.28 (4), p.701-726 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
38 |
Material Type: Artigo
|
GRAPH-GRAMMARS AS CONTEXT-DEPENDENT REWRITING-SYSTEMS - A PARTIAL ORDERING SEMANTICSMONTANARI, U ; ROSSI, FLecture notes in computer science, 1992-01, Vol.581, p.232-247 [Periódico revisado por pares]NEW YORK: Springer NatureSem texto completo |
|
39 |
Material Type: Artigo
|
AXIOMATIZING PERMUTATION EQUIVALENCE IN THE LAMBDA-CALCULUSLANEVE, C ; MONTANARI, ULecture notes in computer science, 1992-01, Vol.632, p.350-363 [Periódico revisado por pares]NEW YORK: Springer NatureSem texto completo |
|
40 |
Material Type: Artigo
|
Location equivalence in a parametric settingMontanari, Ugo ; Yankelevich, DanielTheoretical computer science, 1995-10, Vol.149 (2), p.299-332 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |