Ong, Luke.
VIAF ID: 19980231 ( Personal )
Permalink: http://viaf.org/viaf/19980231
Preferred Forms
- 200 _ | ‡a Ong ‡b Luke
-
- 100 1 _ ‡a Ong, Luke
- 100 1 _ ‡a Ong, Luke
-
-
-
- 100 1 _ ‡a Ong, Luke
-
-
Works
Title | Sources |
---|---|
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday | |
Computer science logic : 19th international workshop, CSL 2005 : 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings | |
Confluence properties of rewrite rules by decreasing diagrams | |
CSL 2005 | |
ETAPS 2010 | |
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings | |
FOSSACS 2010 | |
Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings | |
Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings | |
On the infinitary proof theory of logics with fixed points | |
On the lambda calculus with constructors. | |
Propriétés de confluence des règles de réécriture par des diagrammes décroissants. | |
Quelques liens entre logique Monadique du Second Ordre et théorie de la démonstration. | |
Réductions et approximations linéaires | |
Some proof-theoretical approaches to Monadic Second-Order logic | |
TASE 2011 | |
Théorie de la preuve infinitaire pour les logiques à points fixes. | |
TLCA 2011 | |
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings |