Results 1 to 10 of about 24 (24)

Seminarberichte Nr. 63 [PDF]

open access: yes, 1998

core   +1 more source

Quasiorder lattices of universal algebras [PDF]

open access: yes, 2018
Gyenizse Gergő
core  

Acta Scientiarum Mathematicarum : Tomus 51. Fasc. 1-2. [PDF]

open access: yes, 1987

core  

Acta Scientiarum Mathematicarum : Tomus 56. Fasc. 1-2. [PDF]

open access: yes, 1992

core  
Some of the next articles are maybe not open access.

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

Theoretical Computer Science, 2007
Manuel Clavel, Jose Meseguer
exaly  

A technique for deriving equational conditions on the Denavit–Hartenberg parameters of 6R linkages that are necessary for movability

Mechanism and Machine Theory, 2015
Zijia Li, Josef Schicho
exaly  

Algebraic geometry over algebraic structures. IV. Equational domains and codomains

Algebra and Logic, 2011
Vladimir Nikanorovich Remeslennikov
exaly  

Proving operational termination of membership equational programs

Higher-Order and Symbolic Computation, 2008
Francisco Durán   +2 more
exaly  

Benign and Malignant Tumors And Tumor-Like Conditions of Fibrous Tissue

Ca-A Cancer Journal for Clinicians, 1969
Tapas K. Das Gupta
exaly  

Secrecy of cryptographic protocols under equational theory

Knowledge-Based Systems, 2009
Hamido Fujita
exaly  
1  2  3  

Home - About - Disclaimer - Privacy