A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Conference proceeding

Peer reviewed

Franz Baader, Silvio Ghilardi and Cesare Tinelli

Lecture notes in computer science, Vol.3097, pp.183-197

Automated reasoning (Cork, 4-8 July 2004)

2004

DOI: 10.1007/978-3-540-25984-8_11

View Online

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Logical, boolean and switching functions

Theoretical computing

Title: Subtitle: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
Creators: Franz Baader - TU Dresden
Silvio Ghilardi - University of Milan
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3097, pp.183-197
Conference: Automated reasoning (Cork, 4-8 July 2004)
Publisher: Springer
DOI: 10.1007/978-3-540-25984-8_11
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2004
Academic Unit: Computer Science
Record Identifier: 9984259424302771

1 Record Views