Egon Börger

#	Item
1	Egon Borger Erich Gradel Yuri Gurevich The Classical Decision Problem Add to Reading List Source URL: www.gbv.de Language: English - Date: 2007-11-05 08:28:23 Computability theory Model theory Complexity classes Metalogic Proof theory Decision problem Decidability Satisfiability First-order logic Theoretical computer science Computational complexity theory Mathematical logic
2	Refinement Method for Abstract State Machines Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Program refinement Software engineering Computing Formal methods Abstract state machines Egon Börger
3	Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Search algorithms Graph connectivity Abstract state machines Egon Börger Breadth-first search Graph Shortest path problem Reachability Graph theory Theoretical computer science Mathematics