Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Teoretisk datalogi - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Teoretisk datalogi

Del av forskningsområdet Datavetenskap (datalogi)

Senaste publikationer

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kapitel i bok 2019
Kapitel i bok

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Paper i proceeding 2018
Paper i proceeding

A distributed coordination infrastructure for attribute-based interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Samlingsverk 2018
Samlingsverk

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017, Berlin, Springer-Verlag GmbH Germany, Paper i proceeding 2017
Paper i proceeding

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 17 av 17

Namn Titel Organisation
Abd Alrahman, Yehia Postdoktor Formella metoder
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Cockx, Jesper Postdoktor Datavetenskap (CS)
Coquand, Thierry Professor Datavetenskap (CS)
Danielsson, Nils Anders Universitetslektor Datavetenskap (CS)
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Lundh, Torbjörn Bitr professor Avdelningen för tillämpad matematik och statistik
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)

Visar 1 - 17 av 17

Visar 41 - 50 av 68

2012

Constructive Algebra in Type Theory
Anders Mörtberg
Göteborg, University of Gothenburg, Licentiatsavhandling 2012
Licentiatsavhandling

A Formal Proof of the Sasaki-Murao Algorithm
Thierry Coquand, Anders Mörtberg, Vincent Siles
Journal of Formalized Reasoning, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Operational Semantics Using the Partiality Monad
Nils Anders Danielsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (ICFP 2012), Paper i proceeding 2012
Paper i proceeding

Bag Equivalence via a Proof-Relevant Membership Relation
Nils Anders Danielsson
Interactive Theorem Proving, Third International Conference, ITP 2012, Paper i proceeding 2012
Paper i proceeding

A Refinement-Based Approach to Computational Algebra in Coq
Anders Mörtberg, Maxime Dénès, Vincent Siles
Lennart Beringer, Amy P. Felty (Eds.): Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Lecture Notes in Computer Science , Paper i proceeding 2012
Paper i proceeding

Towards a Certified Computation of Homology Groups for Digital Images
Anders Mörtberg, Vincent Siles, Jónathan Heras, Maxime Dénès, Gadea Mata et al.
Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Di Fabio (Eds.): Computational Topology in Image Context - 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings. Lecture Notes in Computer Science , Paper i proceeding 2012
Paper i proceeding

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
Gerlof Bouma
Proceedings of the 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Paper i proceeding 2012
Paper i proceeding

Classification and nonexistence results for binary linear codes
Erik Lorentzen
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2012
Licentiatsavhandling

Visar 41 - 50 av 68

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?