Decision procedure for theories categorical in Alefo

Saved in:
Bibliographic Details
Published inSymposium on Automatic Demonstration pp. 87 - 100
Main Author Grzegorczyk, Andrzej
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 23.08.2006
SeriesLecture Notes in Mathematics
Online AccessGet full text

Cover

More Information
ISBN:9783540049142
3540049142
ISSN:0075-8434
1617-9692
DOI:10.1007/BFb0060626