Records

BRICS Report Series

View Archive Info

  • » Bisimulation for Labelled Markov Processes
    Blute, Richard; Desharnais, Josée; Edalat, Abbas; Panangaden, Prakash
    1997-01-04
    View Record | View Original
  • » Partial Evaluation of the Euclidian Algorithm (Extended Version)
    Danvy, Olivier; Goldberg, Mayer
    1997-01-01
    View Record | View Original
  • » Proof of a Conjecture of S. Mac Lane
    Soloviev, Sergei
    1996-12-01
    View Record | View Original
  • » Proof Theory and Computational Analysis
    Kohlenbach, Ulrich
    1997-01-30
    View Record | View Original
  • » Relational Semantics of Non-Deterministic Dataflow
    Hildebrandt, Thomas Troels; Panangaden, Prakash; Winskel, Glynn
    1997-06-06
    View Record | View Original
  • » On the Distributed Complexity of Computing Maximal Matchings
    Hanckowiak, Michał; Karonski, Michał; Panconesi, Alessandro
    1997-06-08
    View Record | View Original
  • » On the Density of Normal Bases in Finite Fields
    Frandsen, Gudmund Skovbjerg
    1997-06-14
    View Record | View Original
  • » Names, Equations, Relations: Practical Ways to Reason about new
    Stark, Ian
    1997-06-09
    View Record | View Original
  • » Quantum Entanglement and Communication Complexity
    Buhrman, Harry; Cleve, Richard; Dam, Wim van
    1997-06-10
    View Record | View Original
  • » A Theory of Recursive Domains with Applications to Concurrency
    Cattani, Gian Luca; Fiore, Marcelo P.; Winskel, Glynn
    1997-06-05
    View Record | View Original
  • » A Relational Account of Call-by-Value Sequentiality
    Riecke, Jon G.; Sandholm, Anders B.
    1997-06-11
    View Record | View Original
  • » On the No-Counterexample Interpretation
    Kohlenbach, Ulrich
    1997-06-12
    View Record | View Original
  • » Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation...
    Balat, Vincent; Danvy, Olivier
    1997-06-13
    View Record | View Original
  • » Zero-Knowledge Proofs for Finite Field Arithmetic or: Can Zero-Knowledge be for Free?
    Cramer, Ronald; Damgård, Ivan B.
    1997-01-27
    View Record | View Original
  • » Span Programs and General Secure Multi-Party Computation
    Cramer, Ronald; Damgård, Ivan B.; Maurer, Ueli
    1997-01-28
    View Record | View Original
  • » Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using...
    Havelund, Klaus; Skou, Arne; Larsen, Kim G.; Lund, Kristian
    1997-06-01
    View Record | View Original
  • » A Note on Frame Distributions
    Kock, Anders; Reyes, Gonzalo E.
    1997-06-03
    View Record | View Original
  • » A Characterization of Finitary Bisimulation
    Aceto, Luca; Ingólfsdóttir, Anna
    1997-01-26
    View Record | View Original
  • » Searching Constant Width Mazes Captures the AC0 Hierarchy
    Barrington, David A. Mix; Lu, Chi-Jen; Miltersen, Peter Bro; Skyum, Sven
    1997-01-25
    View Record | View Original
  • » Relational Reasoning about Contexts
    Lassen, Søren B.
    1997-01-24
    View Record | View Original
  • » On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General...
    Kohlenbach, Ulrich
    1997-01-23
    View Record | View Original
  • » Classifying Toposes for First Order Theories
    Butz, Carsten; Johnstone, Peter T.
    1997-01-20
    View Record | View Original
  • » Topological Completeness for Higher-Order Logic
    Awodey, Steve; Butz, Carsten
    1997-01-21
    View Record | View Original
  • » How to Believe a Machine-Checked Proof
    Pollack, Robert
    1997-01-18
    View Record | View Original
  • » Syntax and Semantics of the logic L_omega omega^lambda
    Butz, Carsten
    1997-01-22
    View Record | View Original
51 - 75 of 146 Items    << < 1 2 3 4 5 6 > >>