Combining decision procedures for sorted theories

Conference proceeding

Peer reviewed

Cesare Tinelli and Calogero G Zarba

Lecture notes in computer science, Vol.3229, pp.641-653

Logics in artificial intelligence (Lisbon, 27-30 September 2004)

2004

DOI: 10.1007/978-3-540-30227-8_53

View Online

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Learning and adaptive systems

Logical, boolean and switching functions

Theoretical computing

Title: Subtitle: Combining decision procedures for sorted theories
Creators: Cesare Tinelli - University of Iowa
Calogero G Zarba - French Institute for Research in Computer Science and Automation
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3229, pp.641-653
Conference: Logics in artificial intelligence (Lisbon, 27-30 September 2004)
Publisher: Springer
DOI: 10.1007/978-3-540-30227-8_53
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2004
Academic Unit: Computer Science
Record Identifier: 9984259472402771

1 Record Views