Interval Orders: Combinatorial Structure
β Stefan Felsner
π Library
π
1992
π Technische UniversitΓ€t Berlin
π English
β¦ LIBER β¦
π
Law and Order in Algorithmics [PhD thesis]
β Scribed by Maarten M. Fokkinga
- Publisher
- Universiteit Twente
- Year
- 1992
- Tongue
- English
- Leaves
- 169
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Algorithmic Correspondence and Completen
β Willem Ernst Conradie
π Library
π
2006
π University of the Witwatersrand
π English
This thesis takes an algorithmic perspective on the correspondence between modal and hybrid logics on the one hand, and first-order logic on the other. The canonicity of formulae, and by implication the completeness of logics, is simultaneously treated. Modal formulae define second-order condit
Topology and combinatorics of ordered se
β James William Walker
π Library
π
1981
π Massachusetts Institute of Technology
π English
Systolic multiprecision arithmetic algor
β Jebelean T.
π Library
π English
Algorithms for Diophantine Equations [Ph
β de Weger B.M.M.
π Library
π
1987
π Amsterdam
π English
Complexity Results and Practical Algorit
π
Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]
β Stephan Tobies
π Library
π
2001
π Technische Hochschule Aachen
π English