Fabio Mogavero
Edit Page
Report
Scan day: 16 February 2014 UTC
48
Virus safety - good
Description: PhD student at University of Naples "Federico II".
Fabio Mogavero's Home Page - Theoretical computer science The life is a moment nearly irrelevant. The name, the glory in the future, is everything! "Considerate la vostra semenza fatti non foste a viver come bruti ma per seguir virtute e canoscenza." Dante Alighieri, Divina Commedia, Inferno, Canto XXVI, 118-120.
Size: 329 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Fabio Mogavero's Home Page - Theoretical computer science |
| Keywords: | Theoretical computer science; Formal systems; Axiomatic theories; Theorem provers and verifiers; Logics; Multi valued, first and second order, modal, temporal, and description logics; Satisfiability and model-checking; Game semantics and theory; Model theory; Decidability and undecidability of decisional problems; Programming languages; Program syntax, semantic, specification, and verification; Complexity theory; Computability theory; Finite and infinite automata and transducer; Mathematical foundation; Set theory; Algebra; Arithmetic; Graph theory. |
| Description: | Fabio Mogavero's home page: Personal\Academic Fabio Mogavero's web site. |
| IP-address: | 81.174.68.55 |
WHOIS Info
| NS | Name Server: NS0.UNBIT.IT Name Server: NS1.UNBIT.IT Name Server: NS2.UNBIT.IT Name Server: NS3.UNBIT.IT |
| WHOIS | Status: clientTransferProhibited Status: clientUpdateProhibited |
| Date | Creation Date: 05-sep-2007 Expiration Date: 05-sep-2014 |