Records

  • » Petri Nets and Bisimulations
    Nielsen, Mogens; Winskel, Glynn
    1995-01-04
    View Record | View Original
  • » Misallocation in the Brazilian Manufacturing Sector
    Vasconcelos, Rafael da Silva; Brazilian Confederation of Industry (CNI)
    2017-11-28
    View Record | View Original
  • » From Timed Automata to Logic - and Back
    Laroussinie, Francois; Larsen, Kim G.; Weise, Carsten
    1995-01-02
    View Record | View Original
  • » Transforming Comparison Model Lower Bounds to the PRAM
    Breslauer, Dany; Dubhashi, Devdatt P.
    1995-02-01
    View Record | View Original
  • » Trust in the lambda-calculus
    Palsberg, Jens; Ørbæk, Peter
    1995-06-01
    View Record | View Original
  • » An Adequate Left-Associated Binary Numeral System in the lambda-Calculus
    Goldberg, Mayer
    1995-06-12
    View Record | View Original
  • » Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
    Courcelle, Bruno; Walukiewicz, Igor
    1995-06-14
    View Record | View Original
  • » 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
38826 - 38850 of 54977 Items    << < 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 > >>