Sfoglia per Autore
Pseudoequilibrium in Dynamical Systems
1973-01-01 Gatto, Marino; Mandrioli, Dino; Rinaldi, Sergio
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali
1974-01-01 Gatto, Marino; Mandrioli, Dino
A decidability theorem for a class of vector-addition systems
1975-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
n-Reconstructability of Context-free Grammars
1976-01-01 Mandrioli, Dino
Some algebraic properties of Petri nets
1976-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Petri Nets and Szilard Languages
1977-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A Note on Petri Net Languages
1977-01-01 Mandrioli, Dino
Algebraic Properties of Operator Precedence Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Martin, D.
Non-Counting Context-free Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Guida, G.; Mandrioli, Dino
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Specifiche e prove di proprietà dei programmi: lo stato dell'arte
1978-01-01 Ghezzi, Carlo; Mandrioli, Dino
Incremental Parsing
1979-01-01 Ghezzi, Carlo; Mandrioli, Dino
A class of Grammars Generating Non Counting Languages
1979-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Separate Compilation and Partial Specification in Pascal
1980-01-01 Celentano, A.; DELLA VIGNA, Pierluigi; Ghezzi, Carlo; Mandrioli, Dino
Augmenting Parsers to Support Incrementality
1980-01-01 Ghezzi, Carlo; Mandrioli, Dino
SIMPLE: A Program Development System
1980-01-01 A., Celentano; DELLA VIGNA, Pierluigi; Ghezzi, Carlo; Mandrioli, Dino
OPERATOR PRECEDENCE AND THE NON-COUNTING PROPERTY
1981-01-01 CRESPI REGHIZZI, Stefano; Guida, G.; Mandrioli, Dino
Language Constructs for Real-Time Distributed Systems
1982-01-01 D., Berry; Ghezzi, Carlo; Mandrioli, Dino; F., Tisato
The Ada Task System and Real-time Applications: an Implementation Schema
1985-01-01 N., Cocco; Mandrioli, Dino; V., Milanese
Modeling the Ada Task System by Petri Nets
1985-01-01 Mandrioli, Dino; R., Zicari; Ghezzi, Carlo; F., Tisato
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile