Das Lehrbuch beschäftigt sich mit den Elementen der Diskreten Mathematik und deren algebraischen ...
The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France an...
Invited Talks.- Factorization Forests.- Weighted versus Probabilistic Logics.- Post Correspondenc...
Features a comprehensive introduction to the connections between formal language theory and group...
Invited Talks.- Automorphisms of Finite Rings and Applications to Complexity of Problems.- Algebr...
Bei diskreten algebraischen Methoden handelt es sich um ein zukunftsweisendes Gebiet, dessen Grun...
Die Grundidee des vorliegenden Lehrbuchs ist, wesentliche Elemente der diskreten Mathematik zu ve...
Proving Church's Thesis.- The Limits of Quantum Computers.- Marrying Words and Trees.- TPTP, TSTP...
This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combin...
Allein schon die Anzahl der Beiträge in diesem Band zum 65. Geburtstag von Volker Claus und ihre ...
This book constitutes the proceedings of the 26th International Conference on Developments in Lan...