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 31 - 40 av 68

2014

Formalizing Refinements and Constructive Algebra in Type Theory
Anders Mörtberg
Göteborg, University of Gothenburg, Doktorsavhandling 2014
Doktorsavhandling

A Coq Formalization of Finitely Presented Modules
Anders Mörtberg, Cyril Cohen
Lecture Notes in Computer Science, Paper i proceeding 2014
Paper i proceeding

A Sheaf Model of the Algebraic Closure
Bassel Mannaa, Thierry Coquand
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS, Paper i proceeding 2014
Paper i proceeding

2013

Correct-by-Construction Pretty-Printing
Nils Anders Danielsson
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming (DTP 2013), Association for Computing Machinery (ACM), Paper i proceeding 2013
Paper i proceeding

Isomorphism is equality
Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Computing persistent homology within Coq/SSReflect
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
ACM Transactions on Computational Logic, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Refinements for Free!
Cyril Cohen, Maxime Dénès, Anders Mörtberg
Lecture Notes in Computer Science, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Pragmatic Quotient Types in Coq
Cyril Cohen
Lecture Notes in Computer Science, Paper i proceeding 2013
Paper i proceeding

2012

Proofs for Free - Parametricity for dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Transparent Neural Networks: Integrating Concept Formation and Reasoning
Claes Strannegård, Olle Häggström, Johan Wessberg, Christian Balkenius
Lecture notes in computer sciences: 5th International Conference on Artificial General Intelligence, AGI 2012; Oxford; United Kingdom; 8 December 2012 through 11 December 2012, Paper i proceeding 2012
Paper i proceeding

Visar 31 - 40 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?