Partially ordered connectives and Sigma-1-1 on finite models

Authors
Publication date 2006
Journal Lecture Notes in Computer Science
Event Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006
Volume | Issue number 3988
Pages (from-to) 516-525
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Logical Approaches to Computational Barriers, Proceedings of the Second Conference on Computability in Europe, CiE 2006 Publisher: Springer Editors: A. Beckmann, U. Berger, B. Löwe, J.V. Tucker
Published at https://doi.org/10.1007/11780342_52
Permalink to this page
Back