GOAL for Games, Omega-Automata, and Logics

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Łukasiewicz Logics for Cooperative Games

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2019English

Partition Logics of Automata

Il Nuovo Cimento B Series 11
1994English

FUZZY Omega -AUTOMATA AND ITS RELATIONSHIPS

International Journal of Pure and Applied Mathematics
MathematicsApplied Mathematics
2015English

Parallel Dialogue Games and Hypersequents for Intermediate Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Lower Bounds for Complementation of Omega-Automata via the Full Automata Technique

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

${\Rm {\Bf UL}}_\omega $ and ${\Rm {\Bf IUL}}_\omega $ Are Substructural Fuzzy Logics

2018English

Algorithms for Omega-Regular Games With Imperfect Information

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Web Services Composition: A Story of Models, Automata, and Logics

2005English

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy