Autore
GIORGIO GERMANO
Dati autore
- Professore Ordinario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- Non più in servizio
Prodotti
- lista concisa
- lista espansa
- tipo
- anno
Articolo in rivista
- G. M. Germano, S. Mazzanti,Non-deterministic Closure Theory and Universal Arrows, APPLIED CATEGORICAL STRUCTURES,vol. 9,num. 4,pp 339-364,tot.pag 47,2001
- G. M. Germano, S. Mazzanti,Cantor Diagrams: A Unifying Discussion of Self-Reference, APPLIED CATEGORICAL STRUCTURES,vol. 11,num. 4,pp 313-336,tot.pag 24,2003
-
Articolo in atti di congresso
- G. M. Germano, S. Mazzanti,Peano structures and the semantics of iteration, Cometa 2003, pp 132-145, Udine,vol. Electronic Notes in Theoretical Computer Science,2003
-
Rapporto finale di ricerca pubblicato
- G. M. Germano, S. Mazzanti,Closure and kernel relators for preorders, Universita' di Udine,1996
- G. M. Germano, S. Mazzanti,Closure relations and the semantics of the while-do construct in non deterministic programming, Universita' di Udine,1998
- G. M. Germano, S. Mazzanti,Data structures as inductive kernels of many-sorted algebras; with applications to the Postscript language, Universita' di Udine,1999
- G. M. Germano, S. Mazzanti,Typed predicational algebras, a unifying notion., Universita' di Udine,2000
- G. M. Germano, S. Mazzanti,Typed predicational algebras: an algebraic analysis of satisfiability, Universita' di Udine,2000
- G. M. Germano, S. Mazzanti,Selection graphs to reduce the satisfiability proble for cnf-propositions, Universita' di Udine,2000
- G. M. Germano, S. Mazzanti,A unifying discussion of self representability, Universita' di Udine,2000
- G. M. Germano, S. Mazzanti,Reducing the problem of cnf-propositions satisfiability, Universita' di Udine,2000
- G. M. Germano, S. Mazzanti,An iterative characterization of computable functions on PS algebras, Universita' di Udine,2001
- G. M. Germano and S. Mazzanti,,Cantor's diagrams: a unifying discussion of self-reference, Università di Udine,2001
- G. M. Germano, S. MAzzanti,A simple reduction of CNF-SAT to HAM-CYCLE based on equivalence and opposition, Università di Udine,2001