Results 251 to 258 of about 633,950 (258)

A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics

Journal of Computer and System Sciences, 2019
exaly  

MSO Logics for Weighted Timed Automata

Formal Methods in System Design, 2011
exaly  

The Logic of Weighted Queries

IEEE Transactions on Systems, Man, and Cybernetics, 1981
openaire   +1 more source

Weighted Picture Automata and Weighted Logics

Theory of Computing Systems, 2011
exaly  

A Method to Compute Truth-Value Propagation in Weighted Fuzzy Logic

2002
exaly  

Aperiodic Weighted Automata and Weighted First-Order Logic

Manfred Droste, Paul Gastin
exaly  

Weighted Linear Dynamic Logic

International Journal of Foundations of Computer Science
exaly  

Weighted Temporal Logic.

openaire   +1 more source