Theorem proving and programming with dynamic first order logic

Authors
Publication date 2000
Host editors
  • María Alpuente
Book title Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000
Pages (from-to) 56-71
Publisher Universidad Politéchnica de Valencia
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back