\clan {Andrej Bauer}

%--------------------------------------------------------
%  A. objavljene znanstvene monografije
%--------------------------------------------------------

%\begin{skupina}{A}

%\disertacija
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\magisterij
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\monografija
%   {AVTORJI}
%   {NASLOV}
%   {ZALOZBA}
%   {KRAJ} {DRZAVA} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  B. raziskovalni clanki sprejeti v objavo v znanstvenih
%     revijah in v zbornikih konferenc
%--------------------------------------------------------

%\begin{skupina}{B}

%\sprejetoRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA}
%\sprejetoZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 


%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  C. raziskovalni clanki objavljeni v znanstvenih revijah
%     in v zbornikih konferenc
%--------------------------------------------------------

\begin{skupina}{C}
% 4. AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. J. log. comput. (Print), 2004, %vol. 14, no. 4, str. 447-471. http://logcom.oupjournals.org/content/vol14/issue4/index.dtl. %[COBISS.SI-ID 13374809]

\objavljenoRevija
   {S.~Awodey, \crta}
   {Propositions as [Types]}
   {J.~Logic Comput.} {14} {2004} {4} {447--471}

%6. BAUER, Andrej, BIRKEDAL, Lars, SCOTT, Dana S. Equilogical spaces. Theor. comput. sci.. %[Print ed.], 2004, vol. 315, str. 35-59. [COBISS.SI-ID 13378393]

\objavljenoRevija
   {\crta, L.~Birkedal, D.~S.~Scott}
   {Equilogical spaces}
   {Theor.~Comput.~Sci.} {315} {2004} {} {35--59}

%5. BAUER, Andrej, SIMPSON, Alex. Two constructive embedding-extension theorems with %applications to continuity principles and to Banach-Mazur computability. Math. log. q., 2004, %vol. 50, no. 4/5, str. 351-369. http://www3.interscience.wiley. com/cgi-bin/jissue/109594864. %[COBISS.SI-ID 13378649]

\objavljenoRevija
   {\crta, A.~Simpson}
   {Two constructive embedding-extension theorems with
    applications to continuity principles and to
    Banach-Mazur computability}
   {Math.~Log.~Q.} {50} {2004} {4/5} {351--369}

% 14. BAUER, Andrej, SIMPSON, Alex. Locally non-compact spaces and continuity principles.
% V: %BRATTKA, Vasco (ur.). International Conference on Computability and Complexity in
% Analysis, %August 28-30, 2003, Cincinnati, USA. Computability and complexity in analysis,
% (Informatik %Berichte, 302-8/2003). Hagen: Fachbereich Informatik, 2003, str. 103-116.
% [COBISS.SI-ID %12604505]

%%   v 2003!

%\objavljenoZbornik
%  {\crta, A.~Simpson}
%  {Locally non-compact spaces and continuity principles}
%  {International conference on computability and complexity in analysis}
%  {Cincinnati} {ZDA} {avgust} {2003} 
%  {Informatik Berichte, 302-8/2003, Hagen: Fachbereich Informatik, 2003} {103--116} 

\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  D. urednistvo v znanstvenih revijah in zbornikih
%     znanstvenih konferenc
%--------------------------------------------------------

%\begin{skupina}{D}

%\urednikRevija
%   {OPIS}
%   {REVIJA}
%\urednikZbornik
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

%    Ni podatkov za to sekcijo

%--------------------------------------------------------
%  E. organizacija mednarodnih in domacih znanstvenih 
%     srecanj
%--------------------------------------------------------

%\begin{skupina}{E}

%\organizacija
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  F. vabljena predavanja na tujih ustanovah in 
%     mednarodnih konferencah
%--------------------------------------------------------

%\begin{skupina}{F}

%\predavanjeUstanova
%   {NASLOV}
%   {OPIS}
%   {USTANOVA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%\predavanjeKonferenca
%   {NASLOV}
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  G. aktivne udelezbe na mednarodnih in domacih
%     konferencah
%--------------------------------------------------------

%\begin{skupina}{G}

%\konferenca
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  H. strokovni clanki
%--------------------------------------------------------

%\begin{skupina}{H}

%\clanekRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA} {LETNIK} {LETO} {STEVILKA} {STRANI}
%\clanekZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%   {ZBORNIK} {STRANI} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  I. razno
%--------------------------------------------------------

%\begin{skupina}{I}

%\razno
%   {OPIS} 

%\end{skupina} 

%\begin{skupina}{I}
%POZOR: bibliografije.tex > 2004\rac\clani\bauer.tex 7609/184: Stevilo neopredeljenih zadetkov: 1
%\razno
% 4.02: {\bf 1}. KUNAVER, Maja{\it . Oblikovanje spletnih strani : diplomska naloga}. Ljubljana: $[$M. Kunaver$]$, 2004. 70 str., ilustr. $[$COBISS.SI-ID 12980825$]$\\ 

%\end{skupina} 

%--------------------------------------------------------
%  tuji gosti
%--------------------------------------------------------

%\begin{seznam}
%\gost {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO} {POVABILO}
%\end{seznam} 

%--------------------------------------------------------
%  gostovanja
%--------------------------------------------------------

%\begin{seznam}
%\gostovanje {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO}
%\end{seznam} 

