Naviga IRIS

Sfoglia per Rivista INFORMATION PROCESSING LETTERS

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 7 di 7

2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A

2015-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A

1994-01-01 Flammini, M

2021-01-01 Brunelli, Filippo; Crescenzi, Pierluigi; Viennot, Laurent

2008-01-01 Aceto, L; Ingólfsdóttir, A

2010-01-01 Aceto, L; Ingólfsdóttir, A; Sack, J

2008-01-01 Aceto, L; Capobianco, S; Ingólfsdóttir, A; Luttik, B

Titolo	Data di pubblicazione	Autore(i)
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet	1-gen-2011	Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
A ground-complete axiomatization of stateless bisimilarity over Linda	1-gen-2015	Aceto, L; Goriac, E; Ingólfsdóttir, A
km-DNF Formulae are Learnable under Product Distribution	1-gen-1994	Flammini, M
On computing Pareto optimal paths in weighted time-dependent networks	1-gen-2021	Brunelli, Filippo; Crescenzi, Pierluigi; Viennot, Laurent
On the expressibility of priority	1-gen-2008	Aceto, L; Ingólfsdóttir, A
Resource bisimilarity and graded bisimilarity coincide	1-gen-2010	Aceto, L; Ingólfsdóttir, A; Sack, J
The equational theory of prebisimilarity over basic CCS with divergence	1-gen-2008	Aceto, L; Capobianco, S; Ingólfsdóttir, A; Luttik, B

Mostrati risultati da 1 a 7 di 7