Bauer, Andrej
Bauer, A. (Andrej)
Andrej Bauer Slovenian Mathematician
VIAF ID: 100735927 ( Personal )
Permalink: http://viaf.org/viaf/100735927
Preferred Forms
- 100 0 _ ‡a Andrej Bauer ‡c Slovenian Mathematician
- 100 1 _ ‡a Bauer, A. ‡q (Andrej)
- 100 1 _ ‡a Bauer, Andrej
- 100 1 _ ‡a Bauer, Andrej
- 100 1 _ ‡a Bauer, Andrej
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Analytica - An experiment in combining theorem proving and symbolic computation | |
Analytica - eksperiment v združevanju avtomatskega dokazovalnika in sistema za simbolno računanje. | |
Bilten | |
Canonical effective subalgebras of classical algebras as constructive metric completions | |
CCA 2009 Sixth International Conference on Computability and Complexity in Analysis ; August 18 - 22, 2009, Ljubljana, Slovenia | |
Certification de programmes avec des effets calculatoires | |
Certification of programs with computational effects. | |
Design and implementation of the Andromeda proof assistant | |
An effect system for algebraic effects and handlers | |
Equilogical spaces and domains with totality. | |
An injection from the Baire space to natural numbers | |
Izjave kot [tipi]. | |
On isomorphism invariance and isomorphism reflection in type theory | |
On monadic parametricity of second-order functionals | |
On self-interpreters for Göodel's System T | |
On the failure of fixed-point theorems for chain-complete lattices in the effective topos | |
Optimizacija poizvedb SQL z orodjem Oracle : diplomsko delo | |
Ordinalna števila : diplomska naloga | |
Osnove modalne logike : diplomsko delo | |
The passing of Marko Petkovšek | |
Persistenca podatkov v Javi : diplomsko delo | |
Pet stopenj sprejemanja konstruktivne matematike. | |
[pi]-račun : delo diplomskega seminarja | |
Plavajoča vejica v čistem funkcijskem jeziku : diplomsko delo na interdisciplinarnem univerzitetnem študiju | |
Polnjenje regij s Criminisijevim algoritmom : diplomsko delo | |
Posplošitev pragovnih avtomatov za dosegljivost v parametriziranih sistemih | |
Practical E-Learning for the Faculty of Mathematics and Physics at the University of Ljubljana | |
Preddoločanje in kontinuumska funkcija : magistrsko delo | |
Predstavitev študijskih programov iz matematike | |
Predstavitev znanja in vrednotenje učinkovitosti sodelujočih samodejnih sistemov za dialog : doktorska disertacija | |
Pregled metod obrambe proti Sibilam = An overview of methods for Sybil defense : magistrsko delo | |
Primerjava razdalj pri klasifikaciji in regresiji | |
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, c2009: | |
Programiranje z algebrajskimi učinki : diplomsko delo | |
Programming with algebraic effects | |
Propositions as [types] : (extended abstract) | |
Računalniški slovarček : angleško-slovenski, slovensko-angleški | |
Računalniško generiranje nalog iz ulomkov za osnovno šolo : diplomska naloga | |
Računsko intenzivne metode in aplikacije | |
A ralationship between equilogical spaces and Type Two Effectivity | |
Random art | |
Razdalje na strukturiranih podatkih : magistrsko delo | |
The real numbers and homotopy type theory | |
The real world cannot be handled | |
The realizability approach to computable analysis and topology : submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy | |
Regularni izrazi, končni avtomati in njihov prikaz : diplomsko delo | |
Relacijska algebra s podobnostmi | |
Relational algebra with similarities : doctoral thesis | |
Report on cartesian closed categories of Scott domains | |
Risanje Mandelbrotove množice z visoko natančnostjo : diplomsko delo | |
Runners in action | |
RZ: a tool for bringing constructive and computable mathematics closer to programming practice | |
RZ: orodje, ki konstruktivno in izračunljivo matematiko približa programerski praksi. | |
Seifertovi vlaknati prostori : diplomsko delo : Prešernova nagrada študentom | |
Sheaf toposes for realizability | |
Similarity-based relations in Datalog programs | |
Sintetična topologija in konstruktivni metrični prostori | |
Sistem učinkov za algebrajske učinke in prestreznike. | |
Sistem za nadzor verzij CVS : diplomska naloga | |
Sočasno računanje z metodo MapReduce : diplomsko delo | |
Specifications via realizability | |
Specifikacije preko realizabilnosti. | |
Statistična analiza plač v Republiki Sloveniji : diplomska naloga | |
Stone duality for skew Boolean algebras with intersections | |
Stoneova dualnost za poševne Booleove algebre s preseki. | |
Study programs in mathematics | |
Synthetic topology and constructive metric spaces : doctoral thesis | |
Teorija kategorij in Cassirerjeva filozofija matematike : doktorska disertacija | |
Teorija vzporednih programskih jezikov : diplomsko delo | |
Tomo Kralj Tona : [monografija] | |
Učinkovalna meta-teorija za teorijo tipov | |
Ultimate Tic Tac Toe | |
Umetna inteligenca med nami | |
Uporaba problema nahrbtnika pri načrtovanju testov programske opreme : magistrsko delo | |
Uvod v programiranje v Javi | |
Višje, hitreje, močneje. | |
Vložitev Bairovega prostora v naravna števila. | |
Vpliv indeksacije na učinkovitost poizvedb v podatkovni bazi : diplomsko delo | |
Yoneda lemma and its applications | |
Yonedova lema in njena uporaba : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematika | |
Zvezni funkcionali odvisnih tipov in ekvilogični prostori. |