WorldCat Identities

Makowsky, Johann A. 1948-

Overview
Works: 53 works in 145 publications in 2 languages and 787 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Honoree, Other
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 J. C Bradfield( Book )

16 editions published in 2003 in English and held by 209 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 Gödel 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 )

13 editions published in 2011 in English and held by 170 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 )

16 editions published in 1998 in English and German and held by 103 WorldCat member libraries worldwide

Since their inception, the 'Perspectives in Logic' and 'Lecture Notes in Logic' series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the 'Lecture Notes in Logic' series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years
Polynommials of bounded tree width by Johann A Makowsky( Book )

5 editions published between 2000 and 2001 in English and held by 13 WorldCat member libraries worldwide

...-logics and generalized quantifiers by Johann A Makowsky( Book )

5 editions published in 1974 in English and held by 10 WorldCat member libraries worldwide

Computable directory queries by E Dahlhaus( Book )

7 editions published between 1985 and 1987 in 3 languages and held by 7 WorldCat member libraries worldwide

{Delta}-logics and generalized quantifiers( Book )

2 editions published in 1974 in English and held by 5 WorldCat member libraries worldwide

Programming reactive systems with statecharts by Makhon ṭekhnologi le-Yiśraʼel Ṭekhniyon( Book )

4 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

On the expressive power of data dependencies by Johann A Makowsky( Book )

4 editions published between 1984 and 1986 in English and held by 4 WorldCat member libraries worldwide

Adequate test sets for loop testing by M. Z Rupp( Book )

2 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

Update languages vs. query languages by R. A Hasson( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

Computable quantifiers and logics capturing complexity classes : (extended abstract) by Johann A Makowsky( Book )

2 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

An axiomatic approach to semantics of specification languages by B Mahr( Book )

4 editions published in 1982 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Decidability questions for finite probabilistic propositional dynamic logic by Makhon ṭekhnologi le-Yiśraʼel Ṭekhniyon( Book )

3 editions published in 1986 in English and held by 3 WorldCat member libraries worldwide

Query languages for hierarchic databases by E Dahlhaus( Book )

3 editions published in 1990 in English and held by 3 WorldCat member libraries worldwide

The semantic model. Computable directory queries and relations. The directory query language DL. The choice of basic constructs. Coding directories by files and the proof of the completeness theorem. Uniform ?1-definability and DL. Modelling complex data and objects. Digression: Gandy machines. Conclusions and further research
Model theory and computer science : an appetizer by Johann A Makowsky( Book )

3 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

We first review the main developments of model theory as it evolved as a branch of mathematical logic and examine which developments have a potential for research in theoretical computer science. We then discuss those aspects of model theory which we think have the greatest impact on theoretical computer science in further detail. Our presentation is not topic oriented but method oriented
A proof rule for fair termination of guarded commands by Orna Grumberg( Book )

2 editions published in 1981 in English and held by 2 WorldCat member libraries worldwide

The Ehrenfeucht-Fraïssé games for transitive closure by A Calò( Book )

2 editions published in 1992 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

Unifying entity-relationship and universal relation approaches to user interfaces by V. M Markowitz( Book )

2 editions published in 1986 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.68 for Model theo ... to 0.96 for {Delta}-lo ...)

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
Alternative Names
Makowsky, J. A. 1948-

Makowsky, János.

Makowsky, János A.

Makowsky, Janos A. 1948-

Makowsky, Johann Andreas 1948-

Makowsky, Johanna A.

Languages
English (95)

German (2)

Covers
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995