Sample records for logic mathematics
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

k-Regular Matroids

Semple, C.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

2

What is the Philosophical Basis of Intuitionistic Mathematics?

Tieszen, R.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

4

Towards an Information Logic

Garzon, M.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

6

Theories of Finitely Determinate Linear Orderings in Stationary Logic

Herre, H.; Siedlce College; Department of Mathematics; Polish Academy of Sciences; Institute of Philosophy; Section of Logic
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

7

The Role of Kripke Semantics in Reasoning of Knowledge and Time

Tjiok, M.-C.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

11

The Generating Functions of Lambda Terms

Hasegawa, R.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

12

The Functional Lambda Abstraction Algebras Form a Variety

Goldblatt, R.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

13

Super Solutions for Combinatorial Auctions

Holland, A.; O Sullivan, B.; European Research Consortium for Informatics and Mathematics
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

17

Some Aspects of Categorical Logic

Lambek, J.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

18

Sierpinski's Gasket, 2-Groups and Graph Symmetries

Conder, M. D. E.; Walker, C. G.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

21

Set Automata

Lange, K.-J.; Reinhardt, K.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

22

Secret Sharing Schemes Based on Room Squares

Chaudhry, G. R.; Seberry, J.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

23

S-picture grammars with array rewriting rules

Marinescu, D.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

24

Representations versus Numberings: On Two Computability Notions

Spreen, D.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

26

Recognizing Diameter Critical Graphs

Anstee, R. P.; Caccetta, L.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

27

Recent advances in constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19 - 21, 2002 ; selected papers

Joint International Workshop on Constraint Solving and Constraint Logic Programming < 2002, Cork>; European Research Consortium for Informatics and Mathematics
2003-01-01

German National Library of Science and Technology (GetInfo) (German)

30
36

On some puzzles concerning the word meaning

Vasiliu, E.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

37

On some closure properties of the abstract families of fuzzy languages

Bucurescu, I.; Pascu, A.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

38

On grammatical interpretations

Mitrana, V.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

40

On Galois connexions

Popescu, E.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

41

Non-Classical Logic and Ontological Non-Commitment, Avoiding Abstract Objects through Modal Operators

Burgess, J. P.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

42

N(n) and v(n): Similarities and Differences

Colbourn, C. J.; Dinitz, J.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

44

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences and Humanities ; Jerusalem, 11 - 14 November 1968

International Colloquium on Mathematical Logic and Foundations of Set Theory < 1968, Yerushalayim>; ha- @Akademyah ha-Le'umit ha-Yiśre'elit le-Mada'im < Yerushalayim>
1970-01-01

German National Library of Science and Technology (GetInfo) (German)

51

Logic and the Flow of Information

Van Benthem, J.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

52

Logic and random structures : DIMACS workshop, November 5 - 7, 1995

Workshop on Logic and Random Structures < 1995, New Brunswick, NJ>; Center for Discrete Mathematics and Theoretical Computer Science < Piscataway, NJ>
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

54

Logic and Philosophy in the 20th Century

Von Wright, G. H.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

61

Linear logic in computer science

Azores Summer School on Linear Logic and Computer Science < 2000>
2004-01-01

German National Library of Science and Technology (GetInfo) (German)

64

International Conference on Algebra, Logic & Discrete Mathematics : [Niš, April 14 - 16, 1995]

International Conference on Algebra, Logic & Discrete Mathematics < 1995, Niš>; Univerzitet < Niš> / Ekonomski Fakultet
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

65

Indiscreet Applications of Discrete Mathematics

Odifreddi, P.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

66

Graph Classes between Parity amd Distance-Hereditary Graphs

Cicerone, S.; Di Stefano, G.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

67

Games and Trees in Infinitary Logic: A Survey

Vaeaenaeen, J.; Siedlce College; Department of Mathematics; Polish Academy of Sciences; Institute of Philosophy; Section of Logic
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

68

Formal languages and the language of economics

Baciu, A.; Pascu, A.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

69

Forbidding and Enforcing

Ehrenfeucht, A.; Rozenberg, G.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

71

EDTOL Structural Equivalence is Decidable

Salomaa, K.; Yu, S.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

72

Discrete Isoperimetric Inequalities

Fan, C.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

74

Constructive Programming: A Personal View

Hayashi, S.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

78

Combinatorial Properties of Sequences in Groups and Semirings

Kelarev, A.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

79

Categoricity and Scott Families

Khoussainov, B.; Shore, R.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

80

Automatically Exploiting Symmetries in Constraint Programming

Ramani, A.; Markov, I. L.; European Research Consortium for Informatics and Mathematics
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

81

An array language for a two-dimensional cutting - stock problem

Marinescu, D.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

82

An Invitation to Algorithmic Information Theory

Chaitin, G. J.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

86

Accepting Failure in Dynamic Logic

Segerberg, K.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

87

About a problem of secret selling

Atanasiu, A.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

88

A new method for the proof of theorems

Tatar, D.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

89

A monotonic array grammar for two-dimensional cutting - stok model

Marinescu, D.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

90

A marker hierarchy - based approach supporting the S - C - D parsing strategy

Curteanu, N.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

91

A class of Codars based on gsm

Atanasiu, A.; Transilvania University of Brasov; Faculty of Sciences; Department of Mathematics
1991-01-01

German National Library of Science and Technology (GetInfo) (German)

93

A Process Algebraic View of Linear Logic

Krishnan, P.; Hopkins, J.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

94

A Note on the Growth Rate of Planar Graphs

Brand, N.; Morton, M.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

96

A New Proof Search Method for Linear Logic

Matsuoka, S.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

97

A Foundation for Computable Analysis

Weihrauch, K.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

98

A Formalization of Anytime Constraint Satisfaction

Guesgen, H. W.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

99

A Decidable Quantified Defeasible Logic

Nute, D.; International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

100

A Condition for a Normal Semicycle to Separate an Orientable 3-Graph

Little, C. H. C.; Van-Brunt, B.; Centre for Discrete Mathematics and Theoretical Computer Science
1997-01-01

German National Library of Science and Technology (GetInfo) (German)