Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

State hyperstructures of tree automata based on lattice-valued logic

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 52, no. 1 (2018) p 23-42

Record details

×
Academic Journal

One quantifier alternation in first-order logic with modular predicates

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 49, no. 1 (2015) p 1-22

Record details

×
Academic Journal

On quasi-equations in locally presentable categories II: A Logic

  • Source: Cahiers de Topologie et Géométrie Différentielle Catégoriques, 51, no. 1 (2010) p 3-28

Record details

×
Academic Journal

Quantum coherent spaces and linear logic

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 44, no. 4 (2010) p 419-441

Record details

×
Academic Journal

Inf-datalog, modal logic and complexities

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 43, no. 1 (2009) p 1-21

Record details

×
Academic Journal

Deciding whether a relation defined in Presburger logic can be defined in weaker logics

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 42, no. 1 (2008) p 121-135

Record details

×
Academic Journal

Three notes on the complexity of model checking fixpoint logic with chop

  • Source: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 41, no. 2 (2007) p 177-190

Record details

×
  • 1-10 of  41 results for ""LOGIC""