( en | de | ru )

 

Disambiguation of "Bauer, Andrej"

Author of the publication

copydeleteadd this publication to your clipboard
Similarity-Based Relations in Datalog Programs.

, and . International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 20 (5): 673-700 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrej Andris

Andrej Novikov

Andrej Stuchlik

Andrej Hasilik

Andrej Fedorov

 

Other publications of authors with the same name

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability., and . Math. Log. Q., 50 (4-5): 351-369 (2004)The HoTT Library: A formalization of homotopy type theory in Coq., , , , , and . CoRR, (2016)Comparing Functional Paradigms for Exact Real-Number Computation., , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 488-500. Springer, (2002)A general definition of dependent type theories., , and . CoRR, (2020)A constructive theory of continuous domains suitable for implementation., and . Ann. Pure Appl. Log., 159 (3): 251-267 (2009)Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions., and . J. Univers. Comput. Sci., 16 (18): 2496-2522 (2010)On the failure of fixed-point theorems for chain-complete lattices in the effective topos.. Theor. Comput. Sci., (2012)Instance reducibility and Weihrauch degrees.. Log. Methods Comput. Sci., (2022)Specifications via Realizability., and . CLASE, volume 153 of Electronic Notes in Theoretical Computer Science, page 77-92. Elsevier, (2005)RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice., and . CiE, volume 4497 of Lecture Notes in Computer Science, page 28-42. Springer, (2007)