scientific article
From MaRDI portal
Publication:3773305
zbMath0634.68005MaRDI QIDQ3773305
Franco Turini, Dino Pedreschi, Roberto Barbuti, Paolo Mancarella
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
The undecidability of proof search when equality is a logical connective, Implementing constructive intensional negation, First order compiler: A deterministic logic program synthesis algorithm
