Sciweavers

BIRTHDAY
2000
Springer
13 years 11 months ago
Compiler Construction - The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
Hanspeter Mössenböck
BIRTHDAY
2000
Springer
13 years 11 months ago
Matrix-based Constructive Theorem Proving
Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...
BIRTHDAY
2000
Springer
13 years 11 months ago
Prologue
Christoph Kreitz
BIRTHDAY
2000
Springer
13 years 11 months ago
Oberon - The Overlooked Jewel
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...
Michael Franz
BIRTHDAY
2000
Springer
13 years 11 months ago
Prioritizing Default Logic
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
Gerhard Brewka, Thomas Eiter