Logical Methods
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Birkhäuser Boston

9781461267089, 9781461203254

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effective Real Dynamics

Logical Methods ◽

10.1007/978-1-4612-0325-4_5 ◽

1993 ◽

pp. 162-177 ◽

Cited By ~ 2

Author(s):

Douglas Cenzer

Problem Solving Strategies for the Derivation of Programs

Logical Methods ◽

10.1007/978-1-4612-0325-4_4 ◽

1993 ◽

pp. 143-161

Author(s):

Jaime Bohórquez ◽

Rodrigo Cardoso

Keyword(s):

Problem Solving ◽

Problem Solving Strategies

Prime Isols and the Theorems of Fermat and Wilson

Logical Methods ◽

10.1007/978-1-4612-0325-4_3 ◽

1993 ◽

pp. 130-142

Author(s):

J. Barback

Embedding Distributive Lattices Preserving 1 below a Nonzero Recursively Enumerable Turing Degree

Logical Methods ◽

10.1007/978-1-4612-0325-4_2 ◽

1993 ◽

pp. 92-129

Author(s):

Klaus Ambos-Spies ◽

Ding Decheng ◽

Peter A. Fejer

Keyword(s):

Turing Degree ◽

Distributive Lattices ◽

Recursively Enumerable

Polynomial Time Categoricity and Linear Orderings

Logical Methods ◽

10.1007/978-1-4612-0325-4_24 ◽

1993 ◽

pp. 713-746 ◽

Cited By ~ 2

Author(s):

Jeffrey B. Remmel

Keyword(s):

Polynomial Time ◽

Linear Orderings

n-Recursive Linear Orders without (n+1)-Recursive Copies

Logical Methods ◽

10.1007/978-1-4612-0325-4_19 ◽

1993 ◽

pp. 572-592 ◽

Cited By ~ 2

Author(s):

Michael Moses

Keyword(s):

Linear Orders

Recursive Properties of Intervals of Recursive Linear Orders

Logical Methods ◽

10.1007/978-1-4612-0325-4_13 ◽

1993 ◽

pp. 422-437 ◽

Cited By ~ 1

Author(s):

Geoffrey Hird

Keyword(s):

Linear Orders

Index Sets in Recursive Combinatorics

Logical Methods ◽

10.1007/978-1-4612-0325-4_11 ◽

1993 ◽

pp. 352-385

Author(s):

William Gasarch ◽

Georgia Martin

Keyword(s):

Index Sets

Effectively and Noneffectively Nowhere Simple Subspaces

Logical Methods ◽

10.1007/978-1-4612-0325-4_10 ◽

1993 ◽

pp. 314-351 ◽

Cited By ~ 1

Author(s):

R. G. Downey ◽

Jeffrey B. Remmel

On the strength of Fraïssé’s conjecture

Logical Methods ◽

10.1007/978-1-4612-0325-4_26 ◽

1993 ◽

pp. 782-813 ◽

Cited By ~ 8

Author(s):

Richard A. Shore