VIAF

Virtual International Authority File

Search

Bauer, Andrej NUK/COBISS.SI, Slovenia Sudoc [ABES], France German National Library

Bauer, A. (Andrej) Library of Congress/NACO

Andrej Bauer Wikidata

VIAF ID: 100735927 (Personal)

Permalink: http://viaf.org/viaf/100735927

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (6)

Open Section Close SectionWorks

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

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (12)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:100735927 (5)