Results 121 to 130 of about 20,509 (144)

Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic and Geometry

1996
The paper shows relationship between model-theoretical and deductive approaches in relational databases. In the model-theoretical approach, semantics of algebraic geometry is applied to construct various invariants of replies to queries.
openaire   +1 more source

A group theoretic description of the κ-Poincaré Hopf algebra

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, 2022
Michele Arzano, Jerzy Kowalski-Glikman
exaly  

Some universal algebraic and model theoretic results in computer science

1981
Hajnal Andréka, István Németi
openaire   +1 more source

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes

Lecture Notes in Computer Science, 2006
Joseph M Morris, Andrew Butterfield, Morris Joseph M   +2 more
exaly  

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

Electronic Notes in Theoretical Computer Science, 2007
Martin Hyland, John Power
exaly  

Chapter 10 Complexity theoretic model theory and algebra

Studies in Logic and the Foundations of Mathematics, 1998
Douglas Cenzer, Jeffrey B Remmel
exaly  

On Modal Logics of Model-Theoretic Relations

Studia Logica, 2019
Denis I Saveliev, Ilya Shapirovsky
exaly  

Lattice-theoretic decision problems in universal algebra

Algebra Universalis, 1975
Stanley Burris, Burris Stanley
exaly  

On theK-Theoretic Hall Algebra of a Surface

International Mathematics Research Notices, 2021
exaly  

Model-Theoretic Algebra With particular emphasis on fields, rings, modules

Bulletin of the London Mathematical Society, 1993
openaire   +1 more source