Temporal Logic With Cyclic Counting and the Degree of Aperiodicity of Finite Automata

BRICS Report Series
doi 10.7146/brics.v8i53.21714
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

On the Degree of Ambiguity of Finite Automata

English

Cyclic Proofs for Linear Temporal Logic

English

Coevolution of Finite Automata With Errors

Journal of Evolutionary Economics
AccountingManagementEconomicsEconometricsBusiness
2013English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Extended Temporal Logic on Finite Words and Wreath Product of Monoids With Distinguished Generators

BRICS Report Series
2002English

The Topology of Human Reflection: Comparison With Finite Automata

Science for Education Today
Education
2019English

On Fixed-Point Logic With Counting

Journal of Symbolic Logic
PhilosophyLogic
2000English

Deterministic Finite Automata

Algebra and Discrete Mathematics
2012English

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy