External Links

Cite Key

Statistics

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

PDF

Tags

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.

Herbrand Theorems and Skolemization for Prenex Fuzzy Logics

Matthias Baaz, George Metcalfe. Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. In Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, editors, Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Volume 5028 of Lecture Notes in Computer Science, pages 22-31, Springer, 2008. [doi]

Authors

Matthias Baaz

This author has not been identified. Look up 'Matthias Baaz' in Google

George Metcalfe

This author has not been identified. Look up 'George Metcalfe' in Google
runs on