Records

  • » 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
  • » Disagreement in Inflation Forecasts and Inflation Risk Premia in Brazil
    Nunes, Clemens Vinicius; São Paulo School of Economics EESP-FGV; Doi, Jonas; Verde Asset Management; Fernandes, Marcelo; São Paulo School of Economics EESP-FGV
    2017-05-25
    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 nominal theory of the nominal rate of interest and the price level with the...
    Martins, Marco Antonio Campos; Senado Federal.
    1988-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
  • » The Wage Rate Estimation Using the Heckman Procedure
    Kassouf, Ana Lucia; Assistant professor in the Department of Economics and Rural Sociology at ESALQ, University of São Paulo.
    1994-04-01
    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
  • » Dynamic Linear Time Temporal Logic
    Henriksen, Jesper G.; Thiagarajan, P. S.
    1997-01-08
    View Record | View Original
  • » Assessing the Overhead of ML Exceptions by Selective CPS Transformation
    Kim, Jung-taek; Yi, Kwangkeun; Danvy, Olivier
    1998-01-15
    View Record | View Original
  • » The Hardness of Speeding-up Knapsack
    Sen, Sandeep
    1998-01-14
    View Record | View Original
  • » The hahn process with quantity constraints
    Saldanha, Fernando M. C. B.; Departamento de Economia, Pontifícia Universidade Católica do Rio de Janeiro
    1987-04-01
    View Record | View Original
  • » Compiling Actions by Partial Evaluation, Revisited
    Danvy, Olivier; Rhiger, Morten
    1998-01-13
    View Record | View Original
  • » Lower Bounds for Dynamic Algebraic Problems
    Frandsen, Gudmund Skovbjerg; Hansen, Johan P.; Miltersen, Peter Bro
    1998-01-11
    View Record | View Original
  • » The suggestion system return: approaches, objectives and a case research
    Barbieri, José Carlos; Álvares, Antônio Carlos Teixeira
    2005-01-01
    View Record | View Original
35651 - 35675 of 54977 Items    << < 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 > >>