Logical Refinements of Church's Problem

Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output sequence Y such that (X, Y ) satisfies . B

• Type: Conference
• Year: 2007
• Where: CSL
• Authors: Alexander Rabinovich, Wolfgang Thomas
• Keywords: Automated Reasoning, CSL 2007, General Logical Setting, Logical Specification, Specification