Since 2014

• » 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 > >>