Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

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

  1. 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
  2. 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

  1. 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

  1. G. M. Germano, S. Mazzanti,Closure and kernel relators for preorders, Universita' di Udine,1996
  2. G. M. Germano, S. Mazzanti,Closure relations and the semantics of the while-do construct in non deterministic programming, Universita' di Udine,1998
  3. G. M. Germano, S. Mazzanti,Data structures as inductive kernels of many-sorted algebras; with applications to the Postscript language, Universita' di Udine,1999
  4. G. M. Germano, S. Mazzanti,Typed predicational algebras, a unifying notion., Universita' di Udine,2000
  5. G. M. Germano, S. Mazzanti,Typed predicational algebras: an algebraic analysis of satisfiability, Universita' di Udine,2000
  6. G. M. Germano, S. Mazzanti,Selection graphs to reduce the satisfiability proble for cnf-propositions, Universita' di Udine,2000
  7. G. M. Germano, S. Mazzanti,A unifying discussion of self representability, Universita' di Udine,2000
  8. G. M. Germano, S. Mazzanti,Reducing the problem of cnf-propositions satisfiability, Universita' di Udine,2000
  9. G. M. Germano, S. Mazzanti,An iterative characterization of computable functions on PS algebras, Universita' di Udine,2001
  10. G. M. Germano and S. Mazzanti,,Cantor's diagrams: a unifying discussion of self-reference, Università di Udine,2001
  11. G. M. Germano, S. MAzzanti,A simple reduction of CNF-SAT to HAM-CYCLE based on equivalence and opposition, Università di Udine,2001