ALBERT

2

Unbekannt

A Proof-theoretic Analysis of Goal-directed Provability (1994)

HARLAND, JAMES

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 69-88. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.69.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

3

Unbekannt

A Modal Logic for Chopping Intervals (1991)

VENEMA, YDE

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(4): 453-476. Published 1991 Jan 01. doi: 10.1093/logcom/1.4.453.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

4

Unbekannt

FINGER, M.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 978-979. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.978.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

5

Unbekannt

Linear Logic and Exceptions (1994)

FOUQUERÉ, CHRISTOPHE ; VAUZEILLES, JACQUELINE

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 859-876. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.859.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

6

Unbekannt

LOPOTAN, I.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 453-454. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.453.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

7

Unbekannt

The Range of Applicability of some Non-monotonic Logics for Strict Inertia (1994)

SANDEWALL, ERIK

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(5): 581-615. Published 1994 Jan 01. doi: 10.1093/logcom/4.5.581.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

8

Unbekannt

Modelling Prolog Control (1993)

BARBUTI, ROBERTO ; CODISH, MICHAEL ; GIACOBAZZI, ROBERTO ; [weitere]

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 579-603. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.579.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

9

Unbekannt

Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change (1994)

SCHUBERT, LENHART K.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(5): 679-700. Published 1994 Jan 01. doi: 10.1093/logcom/4.5.679.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

10

Unbekannt

FORTHCOMING PAPERS (1994)

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 460-462. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.460.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

11

Unbekannt

Letter (1994)

FORSTER, THOMAS

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 333-335. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.333.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

12

Unbekannt

ŠEPER, KAJETAN

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 456-458. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.456.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

13

Unbekannt

BILLINGTON, DAVID

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 328-329. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.328.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

14

Unbekannt

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 330-331. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.330.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

15

Unbekannt

Editorial (1994)

HOARE, C.A.R

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 215-216. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.215.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

16

Unbekannt

SILVA, FLÁVIO SOARES CORRÊA DA

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 324-327. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.324.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

17

Unbekannt

Logical Description of Monotone NP Problems (1994)

STEWART, IAIN A.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 337-357. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.337.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

18

Unbekannt

Conjunctive Normal Forms In Three-valued Propositional Logics (1994)

POLYMÉRIS, ANDREAS

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(2): 157-173. Published 1994 Jan 01. doi: 10.1093/logcom/4.2.157.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

19

Unbekannt

Unforgettable Forgetful Determinacy (1994)

ZEITMAN, SUZANNE

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 273-283. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.273.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

20

Unbekannt

Intersection Types as Logical Formulae (1994)

VENNERI, BETTI

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(2): 109-124. Published 1994 Jan 01. doi: 10.1093/logcom/4.2.109.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

21

Unbekannt

The Monotonous Elimination of Predicate Variables (1994)

SIMMONS, HAROLD

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 23-68. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.23.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

22

Unbekannt

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 106-107. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.106.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

23

Unbekannt

Books Received (1994)

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 105-105. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.105.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

24

Unbekannt

A Hypothetical Reasoning Algorithm for Linguistic Analysis (1994)

KÖNIG, ESTHER

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 1-19. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.1.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

25

Unbekannt

Input/Output Dependencies of Normal Logic Programs (1994)

STÄRK, ROBERT F.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 249-262. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.249.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

26

Unbekannt

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(2): 213-214. Published 1994 Jan 01. doi: 10.1093/logcom/4.2.213.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

27

Unbekannt

BLOOM, BARD

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(2): 209-210. Published 1994 Jan 01. doi: 10.1093/logcom/4.2.209.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

28

Unbekannt

Ordered Logic Programming with Sets (1993)

LEONE, N. ; RULLO, P.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 621-642. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.621.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

29

Unbekannt

CUSSENS, JAMES

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 568-571. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.568.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

30

Unbekannt

COELHO, HELDER

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 563-564. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.563.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

31

Unbekannt

Solution to a Problem of Goranko and Passy (1994)

WOLTER, FRANK

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 21-22. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.21.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

32

Unbekannt

POPA, CORNEL

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 338-339. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.338.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

33

Unbekannt

MAYOH, BRIAN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(2): 215-216. Published 1993 Jan 01. doi: 10.1093/logcom/3.2.215.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

34

Unbekannt

A Deductive System for Existential Least Fixpoint Logic (1993)

COMPTON, K.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(2): 197-213. Published 1993 Jan 01. doi: 10.1093/logcom/3.2.197.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

35

Unbekannt

Books Received (1993)

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(2): 223-223. Published 1993 Jan 01. doi: 10.1093/logcom/3.2.223.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

36

Unbekannt

WOLEŃSKI, JAN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(1): 105-106. Published 1993 Jan 01. doi: 10.1093/logcom/3.1.105.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

37

Unbekannt

Books Received (1992)

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(6): 777-777. Published 1992 Jan 01. doi: 10.1093/logcom/2.6.777.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

38

Unbekannt

Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (1993)

ROBINSON, PETER J. ; STAPLES, JOHN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(1): 47-61. Published 1993 Jan 01. doi: 10.1093/logcom/3.1.47.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

39

Unbekannt

WOLEŃSKI, JAN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(1): 103-104. Published 1993 Jan 01. doi: 10.1093/logcom/3.1.103.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

40

Unbekannt

Reviews (1992)

AVRON, ARNON

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(6): 771-775. Published 1992 Jan 01. doi: 10.1093/logcom/2.6.771.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

41

Unbekannt

Reviews (1992)

REICHGELT, H.

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 427-429. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.427.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

42

Unbekannt

Editorial (1992)

HANKIN, CHRIS

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(4): 437-439. Published 1992 Jan 01. doi: 10.1093/logcom/2.4.437.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

43

Unbekannt

Forthcoming Papers (1992)

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 434-435. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.434.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

44

Unbekannt

Books Received (1992)

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 433-433. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.433.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

45

Unbekannt

Reviews (1992)

SAYERS, B. MCA.

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 429-430. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.429.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

46

Unbekannt

The Pure Logic of Necessitation (1992)

FITTING, MELVIN C. ; MAREK, V. WIKTOR ; TRUSZCZYŃSKI, MIROSLAW

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 349-373. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.349.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

47

Unbekannt

Editorial (1992)

MAIBAUM, TOM

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(3): 243-245. Published 1992 Jan 01. doi: 10.1093/logcom/2.3.243.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

48

Unbekannt

Editorial (1991)

TENNANT, NEIL

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(4): 427-430. Published 1991 Jan 01. doi: 10.1093/logcom/1.4.427.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

49

Unbekannt

Corrigendum (1991)

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(4): 569-570. Published 1991 Jan 01. doi: 10.1093/logcom/1.4.569.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

50

Unbekannt

Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models (1992)

LAENENS, E. ; VERMEIR, D.

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(2): 133-172. Published 1992 Jan 01. doi: 10.1093/logcom/2.2.133.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

51

Unbekannt

Efficient Temporal Satisfiability (1992)

ALLEN EMERSON, E. ; SADLER, TOM ; SRINIVASAN, JAI

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(2): 173-210. Published 1992 Jan 01. doi: 10.1093/logcom/2.2.173.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

52

Unbekannt

Logic and Exceptions: A Few Remarks (1992)

GIRARD, JEAN-YVES

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(2): 111-118. Published 1992 Jan 01. doi: 10.1093/logcom/2.2.111.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

53

Unbekannt

Books Received (1992)

Oxford University Press

In: Journal of Logic and Computation. 1992; 2(1): 103-103. Published 1992 Jan 01. doi: 10.1093/logcom/2.1.103.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1992-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

54

Unbekannt

Acknowledgements (1991)

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(6): 891-892. Published 1991 Jan 01. doi: 10.1093/logcom/1.6.891.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

55

Unbekannt

Logic Programming with Strong Negation and Inexact Predicates (1991)

WAGNER, GERD

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(6): 835-859. Published 1991 Jan 01. doi: 10.1093/logcom/1.6.835.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

56

Unbekannt

Forthcoming Papers (1991)

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(6): 889-890. Published 1991 Jan 01. doi: 10.1093/logcom/1.6.889.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

57

Unbekannt

Reviews (1991)

RYAN, MARK

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(3): 419-422. Published 1991 Jan 01. doi: 10.1093/logcom/1.3.419.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

58

Unbekannt

Temporal Reasoning over Deontic Specifications (1991)

FIADEIRO, J. ; MAIBAUM, T.

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(3): 357-395. Published 1991 Jan 01. doi: 10.1093/logcom/1.3.357.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

59

Unbekannt

Reviews (1991)

HANKIN, CHRIS

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(3): 418-419. Published 1991 Jan 01. doi: 10.1093/logcom/1.3.418.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

60

Unbekannt

Properties of a Pruning Operator (1990)

HILL, P. M. ; LLOYD, J. W. ; SHEPHERDSON, J. C.

Oxford University Press

In: Journal of Logic and Computation. 1990; 1(1): 99-143. Published 1990 Jan 01. doi: 10.1093/logcom/1.1.99.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1990-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

61

Unbekannt

Books Received (1991)

Oxford University Press

In: Journal of Logic and Computation. 1991; 1(5): 753-754. Published 1991 Jan 01. doi: 10.1093/logcom/1.5.753.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1991-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

62

Unbekannt

Acknowledgements (1994)

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 982-982. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.982.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

63

Unbekannt

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 980-981. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.980.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

64

Unbekannt

BRIM, LUBOŠ

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 977-978. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.977.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

65

Unbekannt

Process-Algebraic Interpretations of Positive Linear and Relevant Logics (1994)

DAM, MADS

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 939-973. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.939.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

66

Unbekannt

JOHNSON, ROBERT

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(6): 975-976. Published 1994 Jan 01. doi: 10.1093/logcom/4.6.975.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

67

Unbekannt

A Monotonic Formalism for Events and Systems of Events (1994)

MORLEY, DAVID ; GEORGEFF, MICHAEL ; RAO, ANAND

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(5): 701-720. Published 1994 Jan 01. doi: 10.1093/logcom/4.5.701.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

68

Unbekannt

Turning an Action Formalism Into a Planner—a Case Study (1994)

HERTZBERG, JOACHIM ; THIÉBAUX, SYLVIE

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(5): 617-654. Published 1994 Jan 01. doi: 10.1093/logcom/4.5.617.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

69

Unbekannt

Linear Logic as CSP (1994)

MONTEIRO, ERIC

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 405-421. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.405.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

70

Unbekannt

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(5): 856-857. Published 1994 Jan 01. doi: 10.1093/logcom/4.5.856.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

71

Unbekannt

Books Received (1994)

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(4): 459-459. Published 1994 Jan 01. doi: 10.1093/logcom/4.4.459.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

72

Unbekannt

PLOTKIN, J. M.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 327-328. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.327.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

73

Unbekannt

KEMPSON, RUTH

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 321-324. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.321.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

74

Unbekannt

Expressiveness for Highly Nested Expressions in Linear Temporal Logic (1994)

MITCHELL, WILLIAM P. R.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(3): 263-272. Published 1994 Jan 01. doi: 10.1093/logcom/4.3.263.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

75

Unbekannt

DIEUDONNÉ, HENRI

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(2): 210-212. Published 1994 Jan 01. doi: 10.1093/logcom/4.2.210.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

76

Unbekannt

Forthcoming Papers (1993)

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 691-692. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.691.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

77

Unbekannt

BROCK, SIMON

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 688-690. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.688.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

78

Unbekannt

Circumscription in Data Logic for Data Type Specification (1994)

BERTOSSI, LEOPOLDO E.

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 89-96. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.89.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

79

Unbekannt

COSTA, A. C. ROCHA

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 571-572. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.571.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

80

Unbekannt

KYBURG, HENRY E.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 564-566. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.564.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

81

Unbekannt

2-Sequent Calculus: Intuitionism and Natural Deduction (1993)

MASINI, ANDREA

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 533-562. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.533.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

82

Unbekannt

Erratum (1993)

Caferra, R. ; Zabel, N.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 575-575. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.575.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

83

Unbekannt

Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions (1993)

SCHLECHTA, KARL

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 455-467. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.455.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

84

Unbekannt

Editorial (1993)

van BENTHEM, JOHAN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 451-453. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.451.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

85

Unbekannt

Forthcoming Papers (1993)

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 448-449. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.448.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

86

Unbekannt

CIOBANU, GABRIEL

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 444-446. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.444.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

87

Unbekannt

Levationis Laus (1993)

DOETS, KEES

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(5): 487-516. Published 1993 Jan 01. doi: 10.1093/logcom/3.5.487.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

88

Unbekannt

VICKERS, STEVEN

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 687-688. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.687.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

89

Unbekannt

AKMAN, V.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 442-444. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.442.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

90

Unbekannt

BRIM, LUBOŠ

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 441-442. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.441.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

91

Unbekannt

Composing Open Logic Programs (1993)

BROGI, ANTONIO ; LAMMA, EVELINA ; MELLO, PAOLA

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 417-439. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.417.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

92

Unbekannt

The Possibility of Generating True Conjectures (1993)

OHLBACH, HANS JÜRGEN ; SCHMIDT, RENATE

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 341-343. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.341.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

93

Unbekannt

CAVALCANTI, MARCOS

Oxford University Press

In: Journal of Logic and Computation. 1994; 4(1): 97-98. Published 1994 Jan 01. doi: 10.1093/logcom/4.1.97.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1994-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

94

Unbekannt

A Complete Proof Synthesis Method for the Cube of Type Systems (1993)

DOWEK, GILLES

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 287-315. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.287.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

95

Unbekannt

Inhabitation in Intersection and Union Type Assignment Systems (1993)

GHILEZAN, SILVIA

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(6): 671-685. Published 1993 Jan 01. doi: 10.1093/logcom/3.6.671.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

96

Unbekannt

The Relevance Graph of a BCK-Formula (1993)

HIROKAWA, SACHIO

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 269-285. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.269.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

97

Unbekannt

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL (1993)

ZANARDO, ALBERTO ; CARMO, JOSÉ

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 249-268. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.249.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

98

Unbekannt

An Undergraduate Degree in Practical Reasoning (1993)

KOWALSKI, R. A.

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 227-229. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.227.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

99

Unbekannt

Books Received (1993)

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(4): 447-447. Published 1993 Jan 01. doi: 10.1093/logcom/3.4.447.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X

100

Unbekannt

Forthcoming Papers (1993)

Oxford University Press

In: Journal of Logic and Computation. 1993; 3(3): 340-340. Published 1993 Jan 01. doi: 10.1093/logcom/3.3.340.

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 1993-01-01

Print ISSN: 0955-792X

Digitale ISSN: 1465-363X

Thema: Informatik , Mathematik

Publiziert von Oxford University Press

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

AKTUELLE ARTIKEL

S·F·X