Search on Old'aVista.  Enter a few words in EnglishPortugueseSpanishFrenchItalianGerman FAQ - Advanced Old'aVista IndexInternet Archive Example: Tornado Hunting in America
Home > Science > Computer Science > Formal Methods > Institutes WEBSITES BYU Laboratory for Applied Logic [IA][Direct] NASA Langley Formal Methods Program [IA][Direct] SICS/KTH - Formal Design Techniques group [IA][Direct] UC Davis Programming Languages and Verification Laboratory [IA][Direct] Warsaw University - Applied Logic Group [IA][Direct] - Main Fields of Research Interest: Logics of programs, lambda calculus, type theory, non-monotonic reasoning, complexity theory, automata theory, functional programming, semantics of programming languages.
Proud member of TheOldNet webring! Check some other cool websites! [Previous site] - [Random site] - [Next site]
Old'aVista Home | Why? | What's new | Share the Love | Supporters | Contribute | FAQ | Guestbook | Chat

Copyright © 1988-2023 Eric Mackrodt

hello.eric.experiment@gmail.com