External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Alternation Hierarchies of First Order Logic with Regular Predicates

Luc Dartois, Charles Paperman. Alternation Hierarchies of First Order Logic with Regular Predicates. In Adrian Kosowski, Igor Walukiewicz, editors, Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. Volume 9210 of Lecture Notes in Computer Science, pages 160-172, Springer, 2015. [doi]

Authors

Luc Dartois

This author has not been identified. Look up 'Luc Dartois' in Google

Charles Paperman

This author has not been identified. Look up 'Charles Paperman' in Google
runs on