Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Fietzke, Arnaud
Weidenbach, Christoph

dblp
dblp



BibTeX cite key*:

FietzkeWeidenbachMCS2012

Title

Title*:

Superposition as a Decision Procedure for Timed Automata

Journal

Journal Title*:

Mathematics in Computer Science

Journal's URL:

http://www.springer.com/birkhauser/mathematics/journal/11786

Download URL
for the article:

http://link.springer.com/content/pdf/10.1007%2Fs11786-012-0134-5

Language:

English

Publisher

Publisher's
Name:

Birkhäuser

Publisher's URL:

http://www.springer.com/birkhauser

Publisher's
Address:

Basel

ISSN:

1661-8289

Vol, No, Year, pp.

Volume:

6

Number:

4

Month:

December

Year*:

2012

Pages:

409-425

Number of VG Pages:


Sequence Number:


DOI:

10.1007/s11786-012-0134-5

Abstract, Links, (C)

Note:


(LaTeX) Abstract:

The success of superposition-based theorem proving in first-order logic relies in particular on the fact that the superposition calculus can be turned into a decision procedure for various decidable fragments of first-order logic and has been successfully used to identify new decidable classes. In this paper, we extend this story to the hierarchic combination of linear arithmetic and first-order superposition. We show that decidability of reachability in timed automata can be obtained by instantiation of an abstract termination result for SUP(LA), the hierarchic combination of linear arithmetic and first-order superposition.

URL for the Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Internal

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@MISC{FietzkeWeidenbachMCS2012,
AUTHOR = {Fietzke, Arnaud and Weidenbach, Christoph},
TITLE = {Superposition as a Decision Procedure for Timed Automata},
JOURNAL = {Mathematics in Computer Science},
PUBLISHER = {Birkhäuser},
YEAR = {2012},
NUMBER = {4},
VOLUME = {6},
PAGES = {409--425},
ADDRESS = {Basel},
MONTH = {December},
ISBN = {1661-8289},
DOI = {10.1007/s11786-012-0134-5},
}


Entry last modified by Anja Becker, 11/28/2013
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/08/2013 04:05:19 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Anja Becker
Anja Becker
Jennifer Müller
Jennifer Müller
Jennifer Müller
Edit Dates
28.11.2013 14:42:53
27.11.2013 10:38:01
19.04.2013 11:22:12
17.04.2013 14:02:12
07.02.2013 09:07:28