skip to main content
previous page 1 2 3 Resultados 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
31
ON THE SEMANTICS OF PETRI NETS
Material Type:
Artigo
Adicionar ao Meu Espaço

ON THE SEMANTICS OF PETRI NETS

MESEGUER, J ; MONTANARI, U ; SASSONE

Lecture notes in computer science, 1992-01, Vol.630, p.286-301 [Periódico revisado por pares]

NEW YORK: Springer Nature

Sem texto completo

32
Constraint relaxation may be perfect
Material Type:
Artigo
Adicionar ao Meu Espaço

Constraint relaxation may be perfect

Montanari, Ugo ; Rossi, Francesca

Artificial intelligence, 1991, Vol.48 (2), p.143-170 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

33
Axiomatizing the algebra of net computations and processes
Material Type:
Artigo
Adicionar ao Meu Espaço

Axiomatizing the algebra of net computations and processes

DEGANO, P ; MESEGUER, J ; MONTANARI, U

Acta informatica, 1996-10, Vol.33 (7), p.641-667 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

34
An algebraic semantics for structured transition systems and its application to logic programs
Material Type:
Artigo
Adicionar ao Meu Espaço

An algebraic semantics for structured transition systems and its application to logic programs

Corradini, Andrea ; Montanari, Ugo

Theoretical computer science, 1992-01, Vol.103 (1), p.51-106 [Periódico revisado por pares]

AMSTERDAM: Elsevier B.V

Texto completo disponível

35
MOBILITY IN THE CC-PARADIGM
Material Type:
Artigo
Adicionar ao Meu Espaço

MOBILITY IN THE CC-PARADIGM

LANEVE, C ; MONTANARI, U

Lecture notes in computer science, 1992-01, Vol.629, p.336-345 [Periódico revisado por pares]

NEW YORK: Springer Nature

Sem texto completo

36
Editors' note: bibliometrics and the curators of orthodoxy
Material Type:
Artigo
Adicionar ao Meu Espaço

Editors' note: bibliometrics and the curators of orthodoxy

MSCS Editorial Board

Mathematical structures in computer science, 2009-02, Vol.19 (1), p.1-4 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

37
Strategic directions in constraint programming
Material Type:
Artigo
Adicionar ao Meu Espaço

Strategic directions in constraint programming

Van Hentenryck, Pascal ; Saraswat, Vijay

ACM computing surveys, 1996-12, Vol.28 (4), p.701-726 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

38
GRAPH-GRAMMARS AS CONTEXT-DEPENDENT REWRITING-SYSTEMS - A PARTIAL ORDERING SEMANTICS
Material Type:
Artigo
Adicionar ao Meu Espaço

GRAPH-GRAMMARS AS CONTEXT-DEPENDENT REWRITING-SYSTEMS - A PARTIAL ORDERING SEMANTICS

MONTANARI, U ; ROSSI, F

Lecture notes in computer science, 1992-01, Vol.581, p.232-247 [Periódico revisado por pares]

NEW YORK: Springer Nature

Sem texto completo

39
AXIOMATIZING PERMUTATION EQUIVALENCE IN THE LAMBDA-CALCULUS
Material Type:
Artigo
Adicionar ao Meu Espaço

AXIOMATIZING PERMUTATION EQUIVALENCE IN THE LAMBDA-CALCULUS

LANEVE, C ; MONTANARI, U

Lecture notes in computer science, 1992-01, Vol.632, p.350-363 [Periódico revisado por pares]

NEW YORK: Springer Nature

Sem texto completo

40
Location equivalence in a parametric setting
Material Type:
Artigo
Adicionar ao Meu Espaço

Location equivalence in a parametric setting

Montanari, Ugo ; Yankelevich, Daniel

Theoretical computer science, 1995-10, Vol.149 (2), p.299-332 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

previous page 1 2 3 Resultados 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (185)
  2. Revistas revisadas por pares (187)

Data de Publicação 

De até
  1. Antes de1978  (14)
  2. 1978Até1991  (15)
  3. 1992Até2001  (40)
  4. 2002Até2011  (83)
  5. Após 2011  (46)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.