A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40184-8_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Context-Free Languages, Groups, the Theory of Ends, Second-Order Logic, Tiling Problems, Cellular Automata, and Vector Addition Systems

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1981English

Regularity and Context-Freeness Over Word Rewriting Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Trace Driven Logic Synthesis-Application to Power Minimization

1997English

Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems

2014English

Catalytic P Systems, Semilinear Sets, and Vector Addition Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2004English

Application of Fuzzy Logic to Cognitive Radio Systems

IEICE Transactions on Communications
Computer NetworksElectronic EngineeringSoftwareElectricalCommunications
2009English

A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Dynamic Logic With Binders and Its Application to the Development of Reactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

The Reachability Problem for Branching Vector Addition Systems Requires Doubly-Exponential Space

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy