Results 101 to 110 of about 472 (119)
Some of the next articles are maybe not open access.

Lifting abstract interpreters to quantified logical domains

ACM SIGPLAN Notices, 2008
Sumit Gulwani
exaly  

Logical and probabilistic aspects of state estimation for Markovian systems

2023
Dimitri Lefebvre   +2 more
exaly  

Lattices of Logical Fragments over Words

Lecture Notes in Computer Science, 2012
Manfred Kufleitner, Alexander Lauser
exaly  

Logical Analysis of Concept Lattices by Factorization

Lecture Notes in Computer Science, 2012
Michal Krupka, Eduard Bartl
exaly  

Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices

Transactions of the Charles S Peirce Society, 2018
Minghui Ma
exaly  

Logical aspects of the theory of divisible rigid groups

Doklady Mathematics, 2015
N S Romanovskii, A G Myasnikov
exaly  

Fuzzy modal-like approximation operators based on double residuated lattices

Journal of Applied Non-Classical Logics, 2006
Anna Maria Radzikowska
exaly  

Logical Connectives for Granular Computing

2008
Radko Mesiar   +2 more
exaly  

Home - About - Disclaimer - Privacy