skip to content

Schulz, Klaus

Overview
Works: 125 works in 203 publications in 4 languages and 1,152 library holdings
Genres: Conference papers and proceedings  History  Pictorial works  Biography  Criticism, interpretation, etc 
Roles: Author, Editor, Other, Adapter
Classifications: QA76.9.N38, 006.35
Publication Timeline
Key
Publications about Klaus Schulz
Publications by Klaus Schulz
Most widely held works by Klaus Schulz
Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings by K. U Schulz( Book )
23 editions published between 1992 and 1993 in English and Italian and held by 278 libraries worldwide
This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups
Frontiers of combining systems : first international workshop, Munich, March 1996 by Franz Baader( Book )
11 editions published in 1996 in English and held by 92 libraries worldwide
This volume contains research papers that cover the combination of logics, the combination of constraint solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modeling of multi-agent systems. These problems are addressed on different conceptual levels: from the investigation of formal properties of combined systems using methods of logic and mathematics to the consideration of physical connections and communication languages relevant for combination of software tools
Sanitäre Haustechnik by K. U Schulz( Book )
6 editions published between 1980 and 1986 in German and held by 56 libraries worldwide
Deutsche Geschichte und Kultur : 500 Bilder aus 2000 Jahren by K. U Schulz( Book )
6 editions published between 1972 and 1987 in German and held by 42 libraries worldwide
Beiträge zur Modelltheorie der Fastkörper by K. U Schulz( Book )
6 editions published between 1986 and 1987 in German and held by 31 libraries worldwide
Word Equations and Related Topics 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings by K. U Schulz( file )
1 edition published in 1992 in English and held by 30 libraries worldwide
Linguistics, computer science and language processing : festschrift for Franz Guenthner on the occasion of his 60th birthday ( Book )
5 editions published in 2008 in English and held by 23 libraries worldwide
Decidability of bounded higher order unification by Manfred Schmidt-Schauss( file )
1 edition published in 2001 in German and held by 15 libraries worldwide
It is shown that unifiability of terms in the simply zyped lambda calculus with beta and n rules becomes decidable if there is a bound on the number of bound variables and lambdas in an unifier in n-lonng beta-normal form
Information access to historical documents from the Early New High German period ( file )
1 edition published in 2007 in English and held by 15 libraries worldwide
Steffl Swing : Jazz in Wien zwischen 1938 und 1945 by K. U Schulz( Book )
4 editions published in 2008 in German and held by 13 libraries worldwide
Meistertänzer Claus Schulz by Werner Hoerisch( Book )
1 edition published in 1968 in Undetermined and held by 10 libraries worldwide
Waermelehre : Wissensspeicher, Programme, Arbeitsblaetter, Aufgabensamml., Experimentieranleitungen; mit 18 Tab. by Horst Sajadatz( Book )
1 edition published in 1973 in German and held by 7 libraries worldwide
"Nicht nur Bücher haben ihre Schicksale - auch Büchermacher ; J. Hellmut Freund im Gespräch mit Klaus Schulz am 30. Oktober 1993 ( Sound Recording )
2 editions published in 2005 in German and Undetermined and held by 7 libraries worldwide
Vor dem Zitronenbaum by J. Hellmut Freund( Sound Recording )
1 edition published in 2005 in German and held by 6 libraries worldwide
Unification in the union of disjoint equational theories combining decision procedures ( file )
1 edition published in 2000 in English and held by 6 libraries worldwide
Musikalische Schriften by Theodor W Adorno( Book )
2 editions published in 2011 in Spanish and Undetermined and held by 1 library worldwide
Escritos musicales IV by Theodor W Adorno( file )
2 editions published between 2008 and 2015 in Spanish and held by 0 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Schulz, K. U.
Schulz, Klaus 1957-
Schulz, Klaus U.
Schulz, Klaus Ulrich 1957-
Languages
English (41)
German (35)
Spanish (3)
Italian (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.