Quasi-free derivations on the Canonical Anticommutation Relation algebra

Journal of Functional Analysis ◽

10.1016/0022-1236(77)90017-9 ◽

1977 ◽

Vol 26 (1) ◽

pp. 89-101 ◽

Author(s):

Richard J McGovern

Keyword(s):

Relation Algebra ◽

Anticommutation Relation ◽

Canonical Anticommutation Relation

Download Full-text

The Group Theoretical Structure of Fermion Many-Body Systems Arising from the Canonical Anticommutation Relation. I: Lie Algebras of Fermion Operators and Exact Generator Coordinate Representations of State Vectors

Progress of Theoretical Physics ◽

10.1143/ptp.65.809 ◽

1981 ◽

Vol 65 (3) ◽

pp. 809-827 ◽

Author(s):

H. Fukutome

Keyword(s):

Lie Algebras ◽

Many Body ◽

Anticommutation Relation ◽

Theoretical Structure ◽

Generator Coordinate ◽

Canonical Anticommutation Relation ◽

Many Body Systems

Download Full-text

Markovian quasifree states on canonical anticommutation relation algebras

Journal of Mathematical Physics ◽

10.1063/1.2817817 ◽

2007 ◽

Vol 48 (11) ◽

pp. 112110 ◽

Author(s):

József Pitrik

Keyword(s):

Relation Algebras ◽

Anticommutation Relation ◽

Canonical Anticommutation Relation

Download Full-text

Hiding expressed using relation algebra with multi-relations-oblique lifting and lowering for unbalanced systems

Proceedings of the Fourth European Conference on Software Maintenance and Reengineering ◽

10.1109/csmr.2000.827304 ◽

2002 ◽

Author(s):

R.J. Bril ◽

L.M.G. Feijs ◽

A. Glas ◽

R.L. Krikhaar ◽

T. Winter

Keyword(s):

Relation Algebra

Download Full-text

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Information Systems ◽

10.1016/j.is.2019.101467 ◽

2020 ◽

Vol 89 ◽

pp. 101467 ◽

Author(s):

Jelle Hellings ◽

Marc Gyssens ◽

Yuqing Wu ◽

Dirk Van Gucht ◽

Jan Van den Bussche ◽

...

Keyword(s):

Transitive Closure ◽

Relation Algebra

Download Full-text

Software Development in Relation Algebra with Ampersand

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_11 ◽

2017 ◽

pp. 177-192 ◽

Author(s):

Stef Joosten

Keyword(s):

Software Development ◽

Relation Algebra

Download Full-text

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/11870814_4 ◽

2006 ◽

pp. 49-63 ◽

Author(s):

Rudolf Berghammer

Keyword(s):

Relation Algebra ◽

Algorithmic Problems

Download Full-text

A Mechanised Proof System for Relation Algebra Using Display Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-49545-2_18 ◽

1998 ◽

pp. 264-278 ◽

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré

Keyword(s):

Relation Algebra ◽

Proof System ◽

Download Full-text

Relation Algebra and RelView in Practical Use: Construction of Special University Timetables

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78913-0_4 ◽

2008 ◽

pp. 22-36

Author(s):

Rudolf Berghammer ◽

Britta Kehden

Keyword(s):

Relation Algebra

Download Full-text

Dependency Calculus: Reasoning in a General Point Relation Algebra

KI 2005: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11551263_6 ◽

2005 ◽

pp. 49-63 ◽

Author(s):

Marco Ragni ◽

Alexander Scivos

Keyword(s):

Relation Algebra ◽

Download Full-text

A relation algebra which is not a cylindric reduct

Algebra Universalis ◽

10.1007/bf01182461 ◽

1990 ◽

Vol 27 (2) ◽

pp. 279-288 ◽

Author(s):

Roger D. Maddux

Keyword(s):

Relation Algebra

Download Full-text