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

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

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

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

Computable trees, prime models, and relative decidabilityHIRSCHFELDT, Denis R.Proceedings of the American Mathematical Society. 2006, Vol 134, Num 5, pp 1495-1498, issn 0002-9939, 4 p.Article

Disjunctive elimination rule and its application in MTLWANG, San-Min; WANG, Ming-Yan.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3169-3176, issn 0165-0114, 8 p.Article

Subcategories of lattice-valued convergence spacesJÄGER, Gunther.Fuzzy sets and systems. 2005, Vol 156, Num 1, pp 1-24, issn 0165-0114, 24 p.Article

Polarized proof-nets and λμ-calculusLAURENT, Olivier.Theoretical computer science. 2003, Vol 290, Num 1, pp 161-188, issn 0304-3975, 28 p.Article

MELL in the calculus of structuresSTRASSBURGER, Lutz.Theoretical computer science. 2003, Vol 309, Num 1-3, pp 213-285, issn 0304-3975, 73 p.Article

Automated theorem proving by resolution in non-classical logicsSOFRONIE-STOKKERMANS, Viorica.Knowledge discovery and discrete mathematics. International conferenceJIM'2003 : journées de l'informatique messine. 2003, pp 151-167, isbn 2-7261-1256-0, 17 p.Conference Paper

Tractability of Cut-free Gentzen-type propositional calculus with permutation inference IIARAI, N. H.Theoretical computer science. 2000, Vol 243, Num 1-2, pp 185-197, issn 0304-3975Article

The symmetry rule in propositional logic : The Satisfiability ProblemURQUHART, A.Discrete applied mathematics. 1999, Vol 96-97, pp 177-193, issn 0166-218XArticle

Stockage diophantien et hypothèse abc généralisée = Diophantine storing and the generalized abc-hypothesisCORNELISSEN, G.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1999, Vol 328, Num 1, pp 3-8, issn 0764-4442Article

Polynomial equivalence among systems LLNC, LLNC_a and LLNC₀METAYER, F.Theoretical computer science. 1999, Vol 227, Num 1-2, pp 221-229, issn 0304-3975Conference Paper

Sentient arithmetic and Gödel's theoremsNAMBIAR, K. K.Computers & mathematics with applications (1987). 1996, Vol 32, Num 2, pp 69-73, issn 0898-1221Article

The idea of a rough fuzzy controller and its application to the stabilization of a pendulum-car systemCZOGAŁA, E; MROZEK, A; PAWLAK, Z et al.Fuzzy sets and systems. 1995, Vol 72, Num 1, pp 61-73, issn 0165-0114Article

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