Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Fietzke, Arnaud
Weidenbach, Christoph

dblp
dblp



Editor(s):

Ratschan, Stefan

dblp

Not MPII Editor(s):

Ratschan, Stefan

BibTeX cite key*:

FietzkeWeidenbach2011

Title, Booktitle

Title*:

Superposition as a Decision Procedure for Timed Automata

Booktitle*:

Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011)

Event, URLs

URL of the conference:

http://macis2011.cc4cm.org/

URL for downloading the paper:


Event Address*:

Beijing, China

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

19 October 2011

Event End Date:

21 October 2011

Publisher

Name*:

Internal Conference Proceedings

URL:


Address*:

Beijing, China

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:


Year*:

2011

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

The success of superposition-based theorem proving in
first-order logic relies in particular on the fact that
the superposition calculus is able to decide well-known
classical decidable fragments of first-order logic and
has been successful in identifying 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.

Keywords:

Superposition, hierarchic theorem proving, timed automata, decision procedures



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{FietzkeWeidenbach2011,
AUTHOR = {Fietzke, Arnaud and Weidenbach, Christoph},
EDITOR = {Ratschan, Stefan},
TITLE = {Superposition as a Decision Procedure for Timed Automata},
BOOKTITLE = {Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011)},
PUBLISHER = {Internal Conference Proceedings},
YEAR = {2011},
ADDRESS = {Beijing, China},
}


Entry last modified by Arnaud Luc Fietzke, 05/11/2012
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)
Arnaud Luc Fietzke
Created
05/11/2012 01:19:41 PM
Revision
0.



Editor
Arnaud Luc Fietzke



Edit Date
05/11/2012 01:19:41 PM



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section