Results 131 to 137 of about 200,339 (137)

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

open access: bronze, 2003
Misao Nagayama, Mitsuhiro Okada
openalex   +1 more source

Decision procedures for quantified fragments of reflexive common knowledge logic

open access: hybrid, 2004
Regimantas Pliuškevičius
openalex   +2 more sources

An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic

open access: gold, 2005
Sven Hartmann, Sebastian Link
openalex   +1 more source

Formal systems of fuzzy logic and their fragments

open access: bronze, 2007
Petr Cintula   +2 more
openalex   +1 more source

A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC

open access: hybrid
Guillermo Badía   +4 more
openalex   +1 more source

Bytes, barriers, and logics: the vicious circle of digital welfare in fragmented institutional contexts

open access: hybrid
Maurizio Busacca
openalex   +1 more source

The Complexity of Reasoning for Fragments of Default Logic

open access: green, 2008
Olaf Beyersdorff   +3 more
openalex   +2 more sources
theoretical computer science
programming language
description logic
mathematical analysis
artificial intelligence
pure mathematics
algebra over a field
multimodal logic
geometry
previous   12  13  14  

Home - About - Disclaimer - Privacy