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

BRICS Report Series
doi 10.7146/brics.v9i47.21762
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

New Properties Over a New Type of Wreath Products on Monoids

Advances in Pure Mathematics
2019English

On Finite Monoids of Cellular Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

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

BRICS Report Series
2001English

Enumerating Representations in Finite Wreath Products

Advances in Mathematics
Mathematics
2000English

A Remark on Finite Dimensional Compact Connected Monoids

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1974English

On Free Spectra of a Class of Finite Inverse Monoids

Journal of the Australian Mathematical Society
Mathematics
2012English

Bilateral Semidirect Product Decompositions of Transformation Monoids

Semigroup Forum
Number TheoryAlgebra
2011English

Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy