WorldCat Identities

Makowsky, Johann A. 1948-

Overview
Works: 22 works in 57 publications in 2 languages and 578 library holdings
Genres: Conference proceedings 
Roles: Editor, Author, Honoree
Classifications: QA76.9.L63, 005.1015113
Publication Timeline
.
Most widely held works by Johann A Makowsky
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings by Matthias Baaz( Book )
11 editions published in 2003 in English and held by 277 WorldCat member libraries worldwide
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gdel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC by AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics( Book )
9 editions published in 2011 in English and held by 161 WorldCat member libraries worldwide
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 by Logic Colloquium( Book )
12 editions published in 1998 in English and held by 98 WorldCat member libraries worldwide
These are conference proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in 1995, focussing in particular on set theory, model theory, finite model theory, proof theory and recursion theory
Model theoretic methods in finite combinatorics AMS-ASL special session, January 5-8, 2009 Washington, DC ( )
2 editions published in 2011 in English and held by 8 WorldCat member libraries worldwide
Polynommials of bounded tree width by Johann A Makowsky( Book )
1 edition published in 2000 in English and held by 6 WorldCat member libraries worldwide
...-logics and generalized quantifiers by Johann A Makowsky( Book )
2 editions published in 1974 in English and held by 6 WorldCat member libraries worldwide
Polynomials of bounded tree-width by Johann A Makowsky( Book )
3 editions published in 2001 in English and held by 3 WorldCat member libraries worldwide
On the expressive power of data dependencies by Johann A Makowsky( Book )
2 editions published between 1984 and 1986 in Undetermined and English and held by 2 WorldCat member libraries worldwide
Polynomials of bounded tree width : (extended abstract) by Johann A Makowsky( Book )
1 edition published in 2000 in English and held by 2 WorldCat member libraries worldwide
On the complexity of combinatorial and metafinite generating functions of graph properties in the computational model of Blum, Shub and Smale ( Book )
2 editions published in 2000 in English and held by 2 WorldCat member libraries worldwide
Final report on the project "Definability and computability over finite structures" by Erich Grädel( Book )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
Computerkultur by Wolfgang Coy( Book )
1 edition published in 1984 in German and held by 1 WorldCat member library worldwide
Translation Schemes and the Fundamental Problem of Database Design ( )
1 edition published in 1996 in Undetermined and held by 1 WorldCat member library worldwide
A proof rule for fair termination of guarded commands by Orna Grumberg( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Logic colloquium '95 : proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, 09-18.08.1995 by Johann A Makowsky( Book )
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
Mathematiker mit Esprit : zum Tod von Ernst P. Specker by Johann A Makowsky( )
1 edition published in 2011 in German and held by 1 WorldCat member library worldwide
Model theoretic methods in combinatorics and complexity : EEF summer school on logical methods ( Book )
1 edition published in 2001 in English and held by 1 WorldCat member library worldwide
Characterizing specification languages which admit initial semantics by B Mahr( Book )
1 edition published in 1982 in Undetermined and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.86 (from 0.00 for Polynomial ... to 0.98 for Model theo ...)
Alternative Names
Makowsky, J. A. 1948-
Makowsky, János.
Makowsky, János A.
Makowsky, Janos A. 1948-
Makowsky, Johanna A.
Languages
English (50)
German (2)
Covers