first-order theories

IGPL
2008

124views more IGPL 2008»

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories

13 years 11 months ago

We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...

Igor Carboni Oliveira, Walter Alexandre Carnielli

claim paper

Read More »

click to vote

TAP
2008
Springer

153views Hardware» more TAP 2008»

Bounded Relational Analysis of Free Data Types

13 years 11 months ago

Download www.informatik.uni-augsburg.de

Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers