Mackie, Ian, 1968-....
Mackie, Ian
Mackie, I. (Ian)
VIAF ID: 168442 ( Personal )
Permalink: http://viaf.org/viaf/168442
Preferred Forms
- 200 _ | ‡a Mackie ‡b Ian ‡f 1968-....
-
- 100 1 _ ‡a Mackie, I. ‡q (Ian)
-
- 100 1 0 ‡a Mackie, I. ‡q (Ian)
-
- 100 1 _ ‡a Mackie, Ian
-
-
-
- 100 1 _ ‡a Mackie, Ian, ‡d 1968-....
4xx's: Alternate Name Forms (2)
5xx's: Related Names (7)
- 500 1 _ ‡a Gay, Simon ‡d 1969-
- 500 1 _ ‡a Goubault-Larrecq, Jean
- 500 1 _ ‡a Hankin, Chris
- 500 1 _ ‡a Mackie, Ian
- 500 1 0 ‡a Mackie, Ian
- 500 1 _ ‡a Nagarajan, R.
- 500 1 _ ‡a SOUSA PINTO, ZORGE.
Works
Title | Sources |
---|---|
Concurrency, references and linear logic | |
Exploiting non-canonicity in the sequent calculus | |
Exploration de l’expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial. | |
IMPLANTATION PARALLELE AVEC LA LOGIQUE LINEAIRE (APPLICATION DES RESEAUX D'INTERACTION ET DE LA GEOMETRIE D'INTERACTION) | |
Investigating the expressivity of linear logic subsystems characterizing polynomial time | |
Partage, superposition et développement : Etudes géométriques sur la sémantique et l'implémentation de lambda-calculs et de réseaux de preuves. | |
Proof theory and automated deduction | |
Semantic techniques in quantum computation | |
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets | |
Theory and formal methods of computing 94, c1995: | |
Trek into Nuba | |
Undergraduate topics in computer science. |