Polynomial Path Orders

This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP*, that is applicable in two related, but distinct contexts. On the one han...

書目詳細資料
發表在:	Logical Methods in Computer Science
Main Authors:	Martin Avanzini, Georg Moser
格式:	Article
語言:	英语
出版:	Logical Methods in Computer Science e.V. 2013-11-01
主題:	computer science - logic in computer science
在線閱讀:	https://lmcs.episciences.org/807/pdf

相似書籍

The computability path ordering
由: Frédéric Blanqui, et al.
出版: (2015-10-01)

Capturing the polynomial hierarchy by second-order revised Krom logic
由: Kexu Wang, et al.
出版: (2023-07-01)

Algebra, coalgebra, and minimization in polynomial differential equations
由: Michele Boreale
出版: (2019-02-01)

A Linear Category of Polynomial Functors (extensional part)
由: Hyvernat Pierre
出版: (2014-05-01)

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
由: Friedrich Neurauter, et al.
出版: (2014-09-01)

Query learning of derived $\omega$-tree languages in polynomial time
由: Dana Angluin, et al.
出版: (2019-08-01)

Capturing Polynomial Time using Modular Decomposition
由: Berit Grußien
出版: (2019-03-01)

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
由: Victor Khomenko, et al.
出版: (2013-09-01)

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
由: Erich Grädel, et al.
出版: (2024-03-01)

A Fragment of Dependence Logic Capturing Polynomial Time
由: Johannes Ebbing, et al.
出版: (2014-08-01)

Monadic second-order definable graph orderings
由: Achim Blumensath, et al.
出版: (2014-01-01)

Incarnation in Ludics and maximal cliques of paths
由: Myriam Quatrini, et al.
出版: (2013-10-01)

Modular Path Queries with Arithmetic
由: Jakub Michaliszyn, et al.
出版: (2021-09-01)

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
由: Berit Grußien
出版: (2019-07-01)

Path Checking for MTL and TPTL over Data Words
由: Shiguang Feng, et al.
出版: (2017-09-01)

Expressive Path Queries on Graph with Data
由: Pablo Barcelo, et al.
出版: (2015-10-01)

Ordered Models of the Lambda Calculus
由: Antonino Salibra, et al.
出版: (2013-12-01)

Moss' logic for ordered coalgebras
由: Marta Bílková, et al.
出版: (2022-08-01)

Order-Invariant Types and Their Applications
由: Pablo Barcelo, et al.
出版: (2016-04-01)

On Higher-Order Probabilistic Subrecursion
由: Flavien Breuvart, et al.
出版: (2021-12-01)

Axiomatization of betweenness in order-theoretic trees
由: Bruno Courcelle
出版: (2021-02-01)

A Dichotomy for First-Order Reducts of Unary Structures
由: Manuel Bodirsky, et al.
出版: (2018-05-01)

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
由: Georgios Kourtis, et al.
出版: (2017-10-01)

Defining Recursive Predicates in Graph Orders
由: Ramanathan S. Thinniyam
出版: (2018-09-01)

Efficient Full Higher-Order Unification
由: Petar Vukmirović, et al.
出版: (2021-12-01)

SAT-Inspired Higher-Order Eliminations
由: Jasmin Blanchette, et al.
出版: (2023-05-01)

Partial Order Infinitary Term Rewriting
由: Patrick Bahr
出版: (2014-06-01)

Undecidable First-Order Theories of Affine Geometries
由: Antti Kuusisto, et al.
出版: (2013-12-01)

Making first order linear logic a generating grammar
由: Sergey Slavnov
出版: (2023-11-01)

Polynomial Size Analysis of First-Order Shapely Functions
由: Olha Shkaravska, et al.
出版: (2009-05-01)

On the Satisfiability of Local First-Order Logics with Data
由: Benedikt Bollig, et al.
出版: (2024-07-01)

Typed realizability for first-order classical analysis
由: Valentin Blot
出版: (2015-12-01)

On Free $\omega$-Continuous and Regular Ordered Algebras
由: Zoltan Esik, et al.
出版: (2019-10-01)

A Probabilistic Higher-order Fixpoint Logic
由: Yo Mitani, et al.
出版: (2021-12-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
由: Aleksy Schubert, et al.
出版: (2017-04-01)

Extensional Semantics for Higher-Order Logic Programs with Negation
由: Panos Rondogiannis, et al.
出版: (2018-06-01)

Using higher-order contracts to model session types
由: Giovanni Bernardi, et al.
出版: (2016-06-01)

On the strictness of the quantifier structure hierarchy in first-order logic
由: Yuguo He
出版: (2014-11-01)

Weak bisimulation for coalgebras over order enriched monads
由: Tomasz Brengos
出版: (2015-06-01)

From nominal to higher-order rewriting and back again
由: Jesús Domínguez, et al.
出版: (2015-12-01)