CNR Institutional Research Information System

PETTOROSSI, ALBERTO

PETTOROSSI, ALBERTO  

Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
Automata Theory and Formal Theory Languages 1-gen-2022 Pettorossi, Alberto
Techniques for Searching, Parsing, and Matching 1-gen-2021 Alberto Pettorossi
Elements of Computability, Decidability, and Complexity 1-gen-2016 Alberto Pettorossi
First Order Predicate Calculus and Logic Programming 1-gen-2016 Pettorossi A.; Proietti M.
Semantics of Programming Languages 1-gen-2016 Pettorossi, Alberto
Automata Theory and Formal Languages 1-gen-2013 Pettorossi, Alberto
Techniques for Searching, Parsing, and Matching 1-gen-2013 Pettorossi, Alberto
Special Issue on the Italian Conference on Computational Logic: CILC 2009 1-gen-2010 Pettorossi, A; Gavanelli, M; Riguzzi, F
Information Science and Technology for the New Century 1-gen-2007 Jacovitti, G; Pettorossi, A; Consolo, R; Senni, V
First Order Predicate Calculus and Logic Programming 1-gen-2005 Pettorossi, A.; Proietti, M.