skip to content

Schulz, Klaus

Overview
Works: 169 works in 307 publications in 4 languages and 1,472 library holdings
Genres: Conference papers and proceedings  Criticism, interpretation, etc  History  Pictorial works  Biography 
Roles: Author, Editor, Creator, 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 )
20 editions published in 1992 in English and Italian and held by 313 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
Art und Herkunft des variierenden Stils in Otfrids Evangeliendichtung by K. U Schulz( Book )
9 editions published in 1968 in German and Undetermined and held by 162 libraries worldwide
Frontiers of combining systems : first international workshop, Munich, March 1996 by Franz Baader( Book )
11 editions published in 1996 in English and held by 89 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 )
4 editions published between 1981 and 1986 in German and held by 55 libraries worldwide
Deutsche Geschichte und Kultur : 500 Bilder aus 2000 Jahren by K. U Schulz( Book )
7 editions published between 1972 and 1987 in German and held by 49 libraries worldwide
Die Rechtsstellung des Obdachlosen nach Bundes- und allgemeinem Sicherheitsrecht by K. U Schulz( Book )
8 editions published in 1970 in German and Undetermined and held by 41 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 32 libraries worldwide
Linguistics, computer science and language processing : festschrift for Franz Guenthner on the occasion of his 60th birthday ( Book )
4 editions published in 2008 in English and held by 22 libraries worldwide
Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings by Habib Abdulrab( Book )
3 editions published between 1992 and 1993 in English and held by 18 libraries worldwide
"This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991. The papers are on the following topics: general solution of word equations, conjugacy in free inverse monoids, general A- and AX-unification via optimized combination procedures, wordequations with two variables, a conjecture about conjugacy in free groups, acase of termination for associative unification, theorem proving by combinatorial optimization, solving string equations with constant restriction, LOP (toward a new implementation of Makanin's algorithm), word unification and transformation of generalizedequations, unification in the combination of disjoint theories, on the subsets of rank two in a free monoid (a fast decision algorithm), and a solution of the complement problem in associative-commutative theories."--PUBLISHER'S WEBSITE
Decidability of bounded higher order unification by Manfred Schmidt-Schauss( file )
1 edition published in 2001 in German and held by 16 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 16 libraries worldwide
Studien zu Art und Herkunft des variierenden Stils in Otfrids Evangeliendichtung by K. U Schulz( Book )
4 editions published between 1966 and 1967 in German 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
Modellvorstellung zur Thermodynamik metallischer Zweistoffsysteme by K. U Schulz( Book )
4 editions published in 1967 in German and held by 12 libraries worldwide
Ermittlung des physikalischen Verhaltens von hochviskosen FLüssigkeiten bei harmonischer Schubbeanspruchung by K. U Schulz( Book )
6 editions published in 1980 in German and Undetermined and held by 12 libraries worldwide
Combination techniques and decision problems for disunification by Franz Baader( Book )
4 editions published between 1993 and 2011 in English and German and held by 12 libraries worldwide
Unification in the union of disjoint equational theories combining decision procedures by Franz Baader( Book )
4 editions published between 1991 and 2011 in English and German and held by 10 libraries worldwide
Musikalische Schriften I-[VI] by Theodor W Adorno( Book )
2 editions published in 2011 in Spanish and Undetermined and held by 1 library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Schulz, K. U.
Schulz, Klaus 1957-
Schulz, Klaus U.
Schulz, Klaus Ulrich 1957-
Languages
German (57)
English (44)
Italian (1)
Spanish (1)
Covers
Close Window

Please sign in to WorldCat 

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