Combining decision procedures for positive theories sharing constructors

Conference proceeding

Peer reviewed

Franz Baader and Cesare Tinelli

Lecture notes in computer science, Vol.2378, pp.352-366

RTA 2002 : rewriting techniques and applications (Copenhagen, 22-24 July 2002)

2002

DOI: 10.1007/3-540-45610-4_25

View Online

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Programming theory

Theoretical computing

Title: Subtitle: Combining decision procedures for positive theories sharing constructors
Creators: Franz Baader - TU Dresden
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2378, pp.352-366
Conference: RTA 2002 : rewriting techniques and applications (Copenhagen, 22-24 July 2002)
Publisher: Springer
DOI: 10.1007/3-540-45610-4_25
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2002
Academic Unit: Computer Science
Record Identifier: 9984259497502771

56 Record Views