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

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

Théories o-minimales avec un automorphisme = o-minimal theories with an automorphismDUBY, Grégory.Comptes rendus. Mathématique. 2002, Vol 335, Num 5, pp 417-420, issn 1631-073XArticle

Équivalence élémentaire de corps elliptiques = Elementary equivalence of elliptic fieldsVIDAUX, X.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 2000, Vol 330, Num 1, pp 1-4, issn 0764-4442Article

Duality and the completeness of the modal μ-calculusAMBLER, S; KWIATKOWSKA, M; MEASOR, N et al.Theoretical computer science. 1995, Vol 151, Num 1, pp 3-27, issn 0304-3975Conference Paper

Lambda abstraction algebras: representation theoremsPIGOZZI, D; SALIBRA, A.Theoretical computer science. 1995, Vol 140, Num 1, pp 5-52, issn 0304-3975Conference Paper

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

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

THE MODAL LOGIC OF FORCINGHAMKINS, Joel David; LOWE, Benedikt.Transactions of the American Mathematical Society. 2008, Vol 360, Num 4, pp 1793-1817, issn 0002-9947, 25 p.Article

Logical foundations of rule-based systemsPERFILIEVA, Irina.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 615-621, issn 0165-0114, 7 p.Article

Invariance under stuttering in a temporal logic of actionsKAMINSKI, Michael.Theoretical computer science. 2006, Vol 368, Num 1-2, pp 50-63, issn 0304-3975, 14 p.Article

T-norm-based logics with an independent involutive negationFLAMINIO, Tommaso; MARCHIONI, Enrico.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3125-3144, issn 0165-0114, 20 p.Article

Probability distribution for simple tautologiesZAIONC, Marek.Theoretical computer science. 2006, Vol 355, Num 2, pp 243-260, issn 0304-3975, 18 p.Article

From OBJ to ML to CoqCHRZASZCZ, Jacek; JOUANNAUD, Jean-Pierre.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 216-234, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 19 p.Book Chapter

From OBJ to Maude and BeyondMESEGUER, José.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 252-280, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 29 p.Book Chapter

Uniform Functors on SetsMOSS, Lawrence S.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 420-448, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 29 p.Book Chapter

On relational cyclesFRONK, Alexander; PLEUMANN, Jörg.Lecture notes in computer science. 2006, pp 83-95, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Quantifier elimination in elementary set theoryORŁOWSKA, Ewa; SZAŁAS, Andrzej.Lecture notes in computer science. 2006, pp 237-248, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 12 p.Conference Paper

Towards an algebra of hybrid systemsHÖFNER, Peter; MÖLLER, Bernhard.Lecture notes in computer science. 2006, pp 121-133, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Verification of pushdown systems using omega algebra with domainMATHIEU, Vincent; DESHARNAIS, Jules.Lecture notes in computer science. 2006, pp 188-199, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 12 p.Conference Paper

Codings and their application in the DNF-implementation of binary functionsD'YAKONOV, A. G.Doklady. Mathematics. 2003, Vol 68, Num 1, pp 34-36, issn 1064-5624, 3 p.Article

A cartesian closed category in Martin-Löf's intuitionistic type theoryVALENTINI, Silvio.Theoretical computer science. 2003, Vol 290, Num 1, pp 189-219, issn 0304-3975, 31 p.Article

A complete adaptive algorithm for propositional satisfiabilityBRUNI, Renato; SASSANO, Antonio.Discrete applied mathematics. 2003, Vol 127, Num 3, pp 523-534, issn 0166-218X, 12 p.Article