search result

Cover von Semirings in Databases, Automata, and Logic; 2
pp. 89-109
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Theory and Implementation
Year: 2024
Media group: LIPIcs
Cover von Logical Characterizations of Weighted Complexity Classes

Logical Characterizations of Weighted Complexity Classes

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0