Records

BRICS Report Series

View Archive Info

  • » Finite Equational Bases in Process Algebra: Results and Open Questions
    Aceto, Luca; Fokkink, Willem Jan; Ingólfsdóttir, Anna; Luttik, Bas
    2005-06-11
    View Record | View Original
  • » General Logical Metatheorems for Functional Analysis
    Gerhardy, Philipp; Kohlenbach, Ulrich
    2005-07-11
    View Record | View Original
  • » A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
    Biernacka, Malgorzata; Danvy, Olivier
    2005-07-11
    View Record | View Original
  • » Compilation and Equivalence of Imperative Objects (Revised Report)
    Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B.
    1998-12-15
    View Record | View Original
  • » Free mu-lattices
    Santocanale, Luigi
    2000-10-28
    View Record | View Original
  • » On Encoding p pi in m pi
    Quaglia, Paola; Walker, David
    1998-01-26
    View Record | View Original
  • » Low Redundancy in Dictionaries with O(1) Worst Case Lookup Time
    Pagh, Rasmus
    1998-01-28
    View Record | View Original
  • » On Competitive On-Line Paging with Lookahead
    Breslauer, Dany
    1995-09-20
    View Record | View Original
  • » Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
    Danvy, Olivier; Schultz, Ulrik P.
    1998-12-03
    View Record | View Original
  • » Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree
    Bradfield, Julian C.
    1998-12-23
    View Record | View Original
  • » UPPAAL in 1995
    Bengtsson, Johan; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
    1996-06-30
    View Record | View Original
  • » Compositional and Symbolic Model-Checking of Real-Time Systems
    Larsen, Kim G.; Pettersson, Paul; Yi, Wang
    1996-06-29
    View Record | View Original
  • » Diagnostic Model Checking for Real-Time Systems
    Larsen, Kim G.; Pettersson, Paul; Yi, Wang
    1996-06-27
    View Record | View Original
  • » Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
    Benaissa, Zine-El-Abidine; Lescanne, Pierre; Rose, Kristoffer H.
    1996-06-26
    View Record | View Original
  • » Linear Hashing
    Alon, Noga; Dietzfelbinger, Martin; Miltersen, Peter Bro; Petrank, Erez; Tardos, Gábor
    1997-01-16
    View Record | View Original
  • » Error Correcting Codes, Perfect Hashing Circuits, and Deterministic Dynamic Dictionaries
    Miltersen, Peter Bro
    1997-01-17
    View Record | View Original
  • » Bistructures, Bidomains and Linear Logic
    Curien, Pierre-Louis; Plotkin, Gordon; Winskel, Glynn
    1997-01-15
    View Record | View Original
  • » Trans-Dichotomous Algorithms without Multiplication —some Upper and Lower Bounds
    Brodnik, Andrej; Miltersen, Peter Bro; Munro, J. Ian
    1997-01-12
    View Record | View Original
  • » Transition Systems with Independence and Multi-Arcs
    Hildebrandt, Thomas Troels; Sassone, Vladimiro
    1997-01-10
    View Record | View Original
  • » A Product Version of Dynamic Linear Time Temporal Logic
    Henriksen, Jesper G.; Thiagarajan, P. S.
    1997-01-09
    View Record | View Original
  • » Abstract Interpretation in the Operational Semantics Hierarchy
    Schmidt, David A.
    1997-01-02
    View Record | View Original
  • » Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
    Danvy, Olivier; Schultz, Ulrik P.
    1997-01-06
    View Record | View Original
  • » First-Order Logic with Two Variables and Unary Temporal Logic
    Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas
    1997-01-05
    View Record | View Original
  • » Thunks and the lambda-Calculus (Extended Version)
    Hatcliff, John; Danvy, Olivier
    1997-01-07
    View Record | View Original
  • » A Definability Theorem for First Order Logic
    Butz, Carsten; Moerdijk, Ieke
    1997-01-03
    View Record | View Original
26 - 50 of 146 Items    << < 1 2 3 4 5 6 > >>