Home Advanced Search

Advanced Search - Page 1

Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29, 1980
  • DJVU
  • English
  • Year: 1983
  • Author: H. Andréka (auth.), A. Salwicki (eds.)
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: H. Andréka, B. Jónsson, I. Németi (auth.), Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi (eds.)
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: H. Andréka, B. Jónsson, I. Németi (auth.), Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi (eds.)
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2012
  • Author: Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.)
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2012
  • Author: Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.)
Simple Relation Algebras
  • PDF
  • English
  • Year: 2017
  • Author: Steven Givant,Hajnal Andréka (auth.)
LOGLAN '88 — Report on the Programming Language
  • PDF
  • English
  • Year: 1990
  • Author: Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski (auth.)
LOGLAN '88 — Report on the Programming Language
  • DJVU
  • English
  • Year: 1990
  • Author: Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski (auth.)
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk
  • PDF
  • English
  • Year: 2008
  • Author: S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.)
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk
  • DJVU
  • English
  • Year: 2007
  • Author: S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.)
search