Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Transforming equality logic to propositional logic

Année:
2003
Langue:
english
Fichier:
PDF, 660 KB
english, 2003
2

A Probabilistic Analysis of the Game of the Goose

Année:
2016
Langue:
english
Fichier:
PDF, 15.08 MB
english, 2016
4

Total Termination of Term Rewriting is Undecidable

Année:
1995
Fichier:
PDF, 537 KB
1995
5

Minimizing sums of addition chains

Année:
1991
Langue:
english
Fichier:
PDF, 981 KB
english, 1991
7

Resolution and binary decision diagrams cannot simulate each other polynomially

Année:
2003
Langue:
english
Fichier:
PDF, 200 KB
english, 2003
8

Simple termination of rewrite systems

Année:
1997
Langue:
english
Fichier:
PDF, 2.25 MB
english, 1997
9

Termination modulo equations by abstract commutation with an application to iteration

Année:
1997
Langue:
english
Fichier:
PDF, 1.01 MB
english, 1997
10

Simulating Liveness by Reduction Strategies

Année:
2003
Langue:
english
Fichier:
PDF, 215 KB
english, 2003
11

Adenovirus-E1A proteins transform cells by sequestering regulatory proteins

Année:
1993
Langue:
english
Fichier:
PDF, 1021 KB
english, 1993
12

Global restrictions on ramification in number fields

Année:
1983
Langue:
english
Fichier:
PDF, 672 KB
english, 1983
13

Integer valued polynomials over a number field

Année:
1982
Langue:
english
Fichier:
PDF, 1.41 MB
english, 1982
14

Total termination of term rewriting

Année:
1996
Langue:
english
Fichier:
PDF, 1.72 MB
english, 1996
16

The Termination Hierarchy for Term Rewriting

Année:
2001
Langue:
english
Fichier:
PDF, 97 KB
english, 2001
18

Termination of String Rewriting Proved Automatically

Année:
2005
Langue:
english
Fichier:
PDF, 350 KB
english, 2005
19

Matrix Interpretations for Proving Termination of Term Rewriting

Année:
2008
Langue:
english
Fichier:
PDF, 487 KB
english, 2008
20

Longest segment problems

Année:
1992
Langue:
english
Fichier:
PDF, 1.54 MB
english, 1992
22

Non-Looping String Rewriting

Année:
1999
Langue:
english
Fichier:
PDF, 24 KB
english, 1999
31

Generalizing DPLL and satisfiability for equalities

Année:
2007
Langue:
english
Fichier:
PDF, 209 KB
english, 2007
32

Levels of undecidability in rewriting

Année:
2011
Langue:
english
Fichier:
PDF, 416 KB
english, 2011
34

A rewriting approach to binary decision diagrams

Année:
2001
Langue:
english
Fichier:
PDF, 237 KB
english, 2001
36

Conformational Changes in Bovine-Liver Glutamate Dehydrogenase: a Spin-Label Study

Année:
1979
Langue:
english
Fichier:
PDF, 1000 KB
english, 1979
38

Magnetic resonance studies on glutamate dehydrogenase

Année:
1974
Langue:
english
Fichier:
PDF, 323 KB
english, 1974
39

Cyclin-dependent kinases and pRb: regulators of the proliferation-differentiation switch

Année:
1995
Langue:
english
Fichier:
PDF, 439 KB
english, 1995
42

Long-run order-independence of vector-based transition systems

Année:
2011
Langue:
english
Fichier:
PDF, 293 KB
english, 2011
45

Induction of polyploidy in Adenovirus E1-transformed cells by the mitotic inhibitor colcemid

Année:
1996
Langue:
english
Fichier:
PDF, 452 KB
english, 1996
50

Instability of Confined Water Films between Elastic Surfaces

Année:
2010
Langue:
english
Fichier:
PDF, 2.44 MB
english, 2010