Toolkit for First Order Extensions of Monadi

  • GamesDavid Janin, Jerzy Mar inkowski
  • Published 2007

Abstract

Games David Janin1 and Jerzy Mar inkowski2 1 Laboratoire Bordelais de Re her he en Informatique, Universit e de Bordeaux I, 351, ours de la Lib eration, 33 405 Talen e edex, janin labri.u-bordeaux.fr 2 Institute of Computer S ien e, University of Wro law, Przesmy kiego 20, 51151 Wro law, Poland, jma t s.uni.wro .pl Abstra t. In 1974 R. Fagin proved that… (More)

Topics

  • Presentations referencing similar topics