tr-announce Dezember 2001

tr-announce@lists.rwth-aachen.de

1 Teilnehmer
1 Diskussionen

[tr-announce] AIB: Axiomatising Tree-interpretable Structures

von Martin Leucker

Hi, please note that the following technical report is available on http://aib.informatik.rwth-aachen.de: Achim Blumensath: Axiomatising Tree-interpretable Structures 2001-10 Abstract: We introduce the class of tree-interpretable structures which generalises the notion of a prefix-recognisable graph to arbitrary relational structures. We prove that every tree-interpretable structure is finitely axiomatisable in guarded second-order logic with cardinality quantifiers. Note: This is an extended version of the corresponding STACS'02 paper. Best regards, Martin Leucker -- ----------------------------------------------------------------------- | Martin Leucker | Address: | | Department of Computer Science | Lehrstuhl fuer Informatik II | | University of Technology Aachen | Ahornstr. 55 | | Germany | D-52056 Aachen | ----------------------------------------------------------------------- | Tel.: (office) +49/(0)241/80-21210 (private) +49/(0)241/877073 | | Email: leucker(a)informatik.rwth-aachen.de Fax: +49/(0)241/80-22217 | | Web: http://www-i2.informatik.rwth-aachen.de/leucker/ | -----------------------------------------------------------------------

22 Jahre, 4 Monate

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

tr-announce Dezember 2001