Records
View Archive Info
- » Lower Bounds on Arithmetic Circuits via Partial Derivatives (Preliminary Version)
Nisan, Noam; Wigderson, Avi
1995-06-13
View Record |
View Original
- » A Fully Abstract Denotational Model for Observational Congruence
Ingólfsdóttir, Anna; Schalk, Andrea
1995-06-10
View Record |
View Original
- » Petri Nets, Traces, and Local Model Checking
Cheng, Allan
1995-06-09
View Record |
View Original
- » Experiments with ZF Set Theory in HOL and Isabelle
Agerholm, Sten; Gordon, Mike
1995-06-07
View Record |
View Original
- » Non-primitive Recursive Function Definitions
Agerholm, Sten
1995-06-06
View Record |
View Original
- » Constructing Fixed-Point Combinators Using Application Survival
Goldberg, Mayer
1995-06-05
View Record |
View Original
- » Type Inference with Selftype
Palsberg, Jens
1995-06-04
View Record |
View Original
- » From Branching to Linear Metric Domains (and back)
Breugel, Franck van
1995-01-30
View Record |
View Original
- » Type Inference with Nonstructural Subtyping
Palsberg, Jens; Wand, Mitchell; O'Keefe, Patrick
1995-06-03
View Record |
View Original
- » Efficient Inference of Object Types
Palsberg, Jens
1995-06-02
View Record |
View Original
- » Basic Action Theory
Lassen, Søren B.
1995-01-25
View Record |
View Original
- » A Complete Equational Axiomatization for MPA with String Iteration
Aceto, Luca; Groote, Jan Friso
1995-01-28
View Record |
View Original
- » Automata for the mu-calculus and Related Results
Janin, David; Walukiewicz, Igor
1995-01-27
View Record |
View Original
- » An n log n Algorithm for Online BDD Refinement
Klarlund, Nils
1995-01-29
View Record |
View Original
- » Tables should be sorted (on random access machines)
Fich, Faith; Miltersen, Peter Bro
1995-01-26
View Record |
View Original
- » Open Maps (at) Work
Cheng, Allan; Nielsen, Mogens
1995-01-23
View Record |
View Original
- » Can you Trust your Data?
Ørbæk, Peter
1995-01-24
View Record |
View Original
- » Optimal Parallel Construction of Minimal Suffix and Factor Automata
Breslauer, Dany; Hariharan, Ramesh
1995-01-16
View Record |
View Original
- » The Girard Translation Extended with Recursion
Braüner, Torben
1995-01-13
View Record |
View Original
- » Constrained Edge-Splitting Problems
Jordán, Tibor
1999-12-07
View Record |
View Original
- » Linear Time Recognition of P4-Indifferent Graphs
Rizzi, Romeo
1999-12-08
View Record |
View Original
- » The Second Futamura Projection for Type-Directed Partial Evaluation
Grobauer, Bernd; Yang, Zhe
1999-12-10
View Record |
View Original
- » On the Steiner Tree 3/2-Approximation for Quasi-Bipartite Graphs
Rizzi, Romeo
1999-12-09
View Record |
View Original
- » On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the...
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
1999-01-22
View Record |
View Original
- » An Error in the Mixed Adversary Protocol by Fitzi, Hirt and Maurer
Damgård, Ivan B.
1999-01-02
View Record |
View Original
101 - 125 of 146 Items
<< < 1 2 3 4 5 6 > >>