Disciplinary Commons: Particpants
www.cs.kent.ac.uk
Monika Seisenberger (Swansea). I studied Mathematics (with Physics and Computer Science) and completed a PhD in Mathematical Logic in ...
Algebra and Coalgebra in Computer Science: 5th International...
books.google.de
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw,...
Algebra and Coalgebra in Computer Science: First International...
books.google.de
CALCO-jnr was organized by Peter Mosses, John Power and Monika Seisenberger. A meeting of the IFIP WG1.3 – Foundations of System Specification – took ...
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in...
Relations and Kleene Algebra in Computer Science: 9th International...
books.google.de
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th...
Swansea University - Document - PDFSEARCH.IO - Document Search Engine
www.pdfsearch.io
University of Wales / Ulrich Berger Department of Computer Science / University of Munich / Monika Seisenberger Mathematisches Institut
dblp: Monika Seisenberger
dblp1.uni-trier.de
List of computer science publications by Monika Seisenberger
ScienceGrrl Swansea looks forward to ScienceGrrl
sciencegrrl.co.uk
The meeting was opened by Computer Science Lecturer Monika Seisenberger. Monika gave an introduction to the event, briefly discussing ...
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Well Quasi-Orders in Computer Science Organizers Monika Seisenberger (Swansea University, GB) Victor Selivanov (A. P. Ershov Institute – Novosibirsk, RU)
Monika Seisenberger - Google 学术搜索
scholar.google.com
Lecturer in Computer Science, Swansea University - 引用次数:421 次 - Program Extraction - Verification - Interactive Theorem Proving - Proof Theory -...
Monika Seisenberger - Citations Google Scholarscholar.google.pt/citations?user=erhW2VwAAAAJ&hl=fr
scholar.google.pt
Monika Seisenberger. Lecturer in Computer Science, Swansea University. Adresse e-mail validée de swansea.ac.uk - Page d'accueil.
Monika Seisenberger - Cites de Google Acadèmic
scholar.google.cat
Types for Proofs and Programs, Lecture Notes in Computer Science 2277, Programs from proofs using classical dependent choice.
Monika Seisenberger, Swansea University, UK
www-compsci.swan.ac.uk
Dr Monika Seisenberger Dept. of Computer Science College of Science Swansea University Bay Campus Swansea SA28EN, UK. t: (+44) (0)
Monika Seisenberger, Swansea University, UK - Computer ...www.cs.swan.ac.uk › ~csmona
www.cs.swan.ac.uk
Monika Seisenberger. Associate Professor in Computer Science. Programme Director, Deputy Head of Department. Research: Formal Methods, Program ...
Monika Seisenberger, mathematician, physicist and Pinterestwww.pinterest.co.uk › ... › Swansea
www.pinterest.co.uk
Jul 8, Monika Seisenberger, mathematician, physicist and Lecturer in Computer Science at Swansea University.
Monika Seisenberger, mathematician, physicist and Pinterestwww.pinterest.ie › pin › amp › pin
www.pinterest.ie
Nov 16, Monika Seisenberger, mathematician, physicist and Lecturer in Computer Science at Swansea University.
CALCO'07 Programme
www.ii.uib.no
CALCO'07: 2nd Conference on Algebra and Coalgebra in Computer Science
CALCO'09 Junior
calco09.dimi.uniud.it
CALCO'09: 3rd Conference on Algebra and Coalgebra in Computer Science
DROPS - Well Quasi-Orders in Computer Science (Dagstuhl Seminar )
drops.dagstuhl.de
@Article{goubaultlarrecq_et_al:DR:2016:5815, author = {Jean Goubault-Larrecq and Monika Seisenberger and Victor Selivanov and Andreas Weiermann}, title ...
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
epdf.tips
Lecture Notes in Computer Science6247Commenced Publication in Founding and Former Series Editors: Gerhard Goos,...
Matt Webster - Publications
cgi.csc.liv.ac.uk
In Peter Mosses, John Power, and Monika Seisenberger, editors, Selected Papers from the First Conference on Algebra and Coalgebra in Computer Science ...
Program Extraction [1 ECTS Mat/01]-Dep.Computer Science-University of...
www.di.univr.it
Dep.Computer Science,University of Verona
Alle Infos zum Namen "Monika Seisenberger"
Verwandte Suchanfragen zu Monika Seisenberger
Anton Setzer Hannes Diener John Power | Ulrich Berger Peter Schuster Karim Kanso | Alfred Kutscher Hans-Jürgen Forster |
Personen Vorname "Monika" (57514) Name "Seisenberger" (90) |
sortiert nach Relevanz / Datum