E-LIB Suche - Ergebnisse für: Bethke, Inge

1

The structure of finite meadows:

Bethke, Inge ; Rodenburg, Piet ; Sevenster, Arjen
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 2 - p. 276-282 , 2015

Link: https://doi.org/10.1016/..

2

Equations for formally real meadows:

Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
Journal of Applied Logic. 13 (2015) 2 - p. 1-23 , 2015

Link: https://doi.org/10.1016/..

3

Note on paraconsistency and reasoning about fractions:

Bergstra, Jan A. ; Bethke, Inge
Journal of Applied Non-Classical Logics. 25 (2015) 2 - p. 120-124 , 2015

Link: https://doi.org/10.1080/..

4

Preface:

Bethke, Inge ; Ponse, Alban ; Rodenburg, Piet H.
Theoretical Computer Science. 412 (2011) 28 - p. 3033-3034 , 2011

Link: https://doi.org/10.1016/..

5

On the Contribution of Backward Jumps to Instruction Sequen..:

Bergstra, Jan A. ; Bethke, Inge
Theory of Computing Systems. 50 (2011) 4 - p. 706-720 , 2011

Link: https://doi.org/10.1007/..

6

Typability in Partial Applicative Structures:

Bethke, Inge ; Rodenburg, Piet
Journal of Logic, Language, and Information. 20 (2011) 2 - p. 161-168 , 2011

Link: https://www.jstor.org/st..

7

Straight-line Instruction Sequence Completeness for Total C..:

Bergstra, Jan A. ; Bethke, Inge
Theory of Computing Systems. 48 (2010) 4 - p. 840-864 , 2010

Link: https://doi.org/10.1007/..

8

Typability in Partial Applicative Structures:

Bethke, Inge ; Rodenburg, Piet
Journal of Logic, Language and Information. 20 (2010) 2 - p. 161-168 , 2010

Link: https://doi.org/10.1007/..

9

THE INITIAL MEADOWS:

BETHKE, INGE ; RODENBURG, PIET
The Journal of Symbolic Logic. 75 (2010) 3 - p. 888-895 , 2010

Link: https://www.jstor.org/st..

10

Decision problems for pushdown threads:

Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
Acta Informatica. 44 (2007) 2 - p. 75-90 , 2007

Link: https://doi.org/10.1007/..

11

Descendants and Origins in Term Rewriting:

Bethke, Inge ; Klop, Jan Willem ; de Vrijer, Roel
Information and Computation. 159 (2000) 1-2 - p. 59-124 , 2000

Link: https://doi.org/10.1006/..

12

Extending partial combinatory algebras:

BETHKE, INGE ; KLOP, JAN WILLEM ; de VRIJER, ROEL
Mathematical Structures in Computer Science. 9 (1999) 4 - p. 483-505 , 1999

Link: https://doi.org/10.1017/..

13

Finite type structures within combinatory algebras:

Bethke, Inge
Annals of Pure and Applied Logic. 55 (1991) 2 - p. 101-123 , 1991

Link: https://doi.org/10.1016/..

14

Coherence spaces are untopological:

Bethke, Inge
Theoretical Computer Science. 85 (1991) 2 - p. 353-357 , 1991

Link: https://doi.org/10.1016/..

15

Universality of Univariate Mixed Fractions in Divisive Mead..:

Bergstra, Jan A ; Bethke, Inge ; Hendriks, Dimitri
http://arxiv.org/abs/1707.00499. , 2017

Link: http://arxiv.org/abs/170..