default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd CLA 2004: Lyon, France
- Pierre Lescanne, René David, Marek Zaionc:
Proceedings of the Second Workshop on Computational Logic and Applications, CLA 2004, Lyon, France, June 17-18, 2004. Electronic Notes in Theoretical Computer Science 140, Elsevier 2005 - Pierre Lescanne, René David, Marek Zaionc:
Preface. 1 - Bartlomiej Bosek
, Piotr Micek:
Variants of Online Chain Partition Problem of Posets. 3-13 - Przemyslaw Broniek:
On-line Chain Partitioning as a Model for Real-time Scheduling. 15-29 - Karim Nour, Khelifa Saber:
A Semantics of Realisability for the Classical Propositional Natural Deduction. 31-39 - Marek Zaionc:
Probabilistic Approach to the Lambda Definability for Fourth Order Types. 41-54 - Patrick Thevenon:
Validation of Proofs Using PhoX. 55-66 - Jakub Kozik:
Conditional Densities of Regular Languages. 67-79 - Grzegorz Matecki:
Asymptotic Density for Equivalence. 81-91 - Jean Duprat:
About Constructive vectors. 93-100 - René David, Karim Nour:
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my-calculus. 101-111 - Pawel Waszkiewicz:
Approximation Simply Characterized. 113-117
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-18 01:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
