Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ct.\*:("Logic and foundations")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 6040

  • Page / 242
Export

Selection :

  • and

Towards a descriptive set theory for domain-like structuresSELIVANOV, Victor L.Theoretical computer science. 2006, Vol 365, Num 3, pp 258-282, issn 0304-3975, 25 p.Conference Paper

Completeness of temporal logics over infinite intervalsHANPIN WANG; QIWEN XU.Discrete applied mathematics. 2004, Vol 136, Num 1, pp 87-103, issn 0166-218X, 17 p.Article

From fuzzy logic to fuzzy mathematics : A methodological manifestoBEHOUNEK, Libor; CINTULA, Petr.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 642-646, issn 0165-0114, 5 p.Article

Reasoning with power defaultsZHANG, Guo-Qiang; ROUNDS, William C.Theoretical computer science. 2004, Vol 323, Num 1-3, pp 321-350, issn 0304-3975, 30 p.Article

Consequences of an exotic definition for P = NPDA COSTA, N. C. A; DORIA, F. A.Applied mathematics and computation. 2003, Vol 145, Num 2-3, pp 655-665, issn 0096-3003, 11 p.Article

Interaction nets for linear logicMACKIE, Ian.Theoretical computer science. 2000, Vol 247, Num 1-2, pp 83-140, issn 0304-3975Article

Towards an algebraic theory of typed mobile processesYUXIN DENG; SANGIORGI, Davide.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 188-212, issn 0304-3975, 25 p.Conference Paper

Working with ARMs: complexity results on atomic representations of Herbrand modelsGOTTLOB, Georg; PICHLER, Reinhard.Information and computation (Print). 2001, Vol 165, Num 2, pp 183-207, issn 0890-5401Article

Connection methods in linear logic and proof nets constructionGALMICHE, D.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 231-272, issn 0304-3975Article

A note on implicators based on binary aggregation operators in interval-valued fuzzy set theoryLIU, Hua-Wen; WANG, Guo-Jun.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3231-3236, issn 0165-0114, 6 p.Article

Basic intuitionistic principles in fuzzy set theories and its extensions (A terminological debate on Atanassov IFS)CATTANEO, Gianpiero; CIUCCI, Davide.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3198-3219, issn 0165-0114, 22 p.Article

Nominal logic, a first order theory of names and bindingPITTS, Andrew M.Information and computation (Print). 2003, Vol 186, Num 2, pp 165-193, issn 0890-5401, 29 p.Conference Paper

Proof finding algorithms for implicational logicsBUNDER, M. W.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 165-186, issn 0304-3975Article

Complexity of categorical theories with computable modelsGONCHAROV, S. S. S; KHUSAINOV, B. Kh.Doklady. Mathematics. 2002, Vol 66, Num 1, pp 52-54, issn 1064-5624Article

Cercles vicieux, mathématiques et formalisations logiques = Vicious circles, mathematics and logicLONGO, Giuseppe.Mathématiques et sciences humaines (2000). 2000, Num 152, pp 5-26, issn 0987-6936Article

Logique et fondements des mathématiquesGauthier, Yvon.Concepts. 1997, isbn 2-84134-040-6, II, 174 p, isbn 2-84134-040-6Book

Invariants, boolean algebras and ACA+0SHORE, Richard A.Transactions of the American Mathematical Society. 2006, Vol 358, Num 3, pp 989-1014, issn 0002-9947, 26 p.Article

Fuzzy logics as the logics of chainsBEHOUNEK, Libor; CINTULA, Petr.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 604-610, issn 0165-0114, 7 p.Article

Proving Behavioral Refinements of COL-specificationsBIDOIT, Michel; HENNICKER, Rolf.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 333-354, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 22 p.Book Chapter

On categorical equivalence of Gentzen-style derivations in IMLLSOLOVIEV, Sergei; OREVKOV, Vladimir.Theoretical computer science. 2003, Vol 303, Num 1, pp 245-260, issn 0304-3975, 16 p.Conference Paper

A nonadaptive NC checker for permutation group intersectionARVIND, V; TORAN, Jacobo.Theoretical computer science. 2001, Vol 259, Num 1-2, pp 597-611, issn 0304-3975Article

An induction principle for pure type systemsBARTHE, Gilles; HATCLIFF, John; SØRENSEN, Morten Heine B et al.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 773-818, issn 0304-3975Article

L'automorphisme de Frobenius des vecteurs de Witt = The Frobenius automorphism of Witt vectorsBELAIR, Luc; MACINTYRE, Angus.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 2000, Vol 331, Num 1, pp 1-4, issn 0764-4442Article

Correspondences between classical, intuitionistic and uniform provabilityNADATHUR, G.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 273-298, issn 0304-3975Article

A Gentzen-style sequent calculus of constructions with expansion rulesSELDIN, J. P.Theoretical computer science. 2000, Vol 243, Num 1-2, pp 199-215, issn 0304-3975Article

  • Page / 242