MPG.eBooks - Search Results - formal languages and automata theory

Search alternatives:
languages » language
automata » automated , automatic

Cover Image

1

R-CALCULUS: A Logic of Belief Revision

by Li, Wei, Sui, Yuefei
Published 2021

Springer Nature Singapore

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

2

R-Calculus, II: Many-Valued Logics

by Li, Wei, Sui, Yuefei
Published 2022

Springer Nature Singapore

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

3

R-Calculus, IV: Propositional Logic

by Li, Wei, Sui, Yuefei
Published 2023

Springer Nature Singapore

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

4

R-Calculus, III: Post Three-Valued Logic

by Li, Wei, Sui, Yuefei
Published 2022

Springer Nature Singapore

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

5

R-Calculus, V: Description Logics

by Li, Wei, Sui, Yuefei
Published 2024

Springer Nature Singapore

Subjects: “...Formal Languages and Automata Theory...”