Haeusler, Edward Hermann
- NP vs PSPACE
2016/09/30 by Lew Gordeev, L. Gordeev, Edward Hermann Hæusler +3 · 3 voices
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
- An Intuitionisticaly based Description Logic
2014/02/02 by Haeusler, Edward Hermann, Rademaker, Alexandre · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)