Linked documents : [97 document(s)]

Documents (MSC Codes)

• [Ouvrage] Handbook of automata theory. - Volume 2 : automata in mathematics and selected applications / Editor Pin, Jean-Eric. -Berlin : EMS Press, 2021. - lv; p. [839]-1493
  ISBN 978-3-98547-003-7
  
• [Ouvrage] Handbook of automata theory. - Volume 1 : theoretical foundations / Editor Pin, Jean-Eric. -Berlin : EMS Press, 2021. - lv; 838 p.
  ISBN 978-3-98547-002-0
  
• [Ouvrage] Lessons in enumerative combinatorics / Principal Eğecioğlu, Ömer ; Co-auteur Garsia, Adriano M.. -Cham : Springer, 2021. - xvi; 479 p.
  ISBN 978-3-030-71249-5
  
• [Congrès] 27th IFIP WG 1.5 international workshop on cellular automata and discrete complex systems: - exploratory papers collection. - AUTOMATA 2021 - Marseille # July 12-14, 2021 Archives ouvertes HAL, 2021. - pag. mult.
  
• [Congrès] 27th IFIP WG 1.5 international workshop on cellular automata and discrete complex systems. - AUTOMATA 2021 - Marseille # July 12-14, 2021 / Editor Castillo-Ramirez, Alonso ; Editor Guillon, Pierre ; Editor Perrot, Kévin. -Saarbrücken, Wadern : Schloss Dagstuhl, 2021. - pag. mult.
  ISBN 978-3-95977-189-4
  
• [Congrès] Informatique mathématique : - une photographie en 2019. - Cours donnés lors de l'édition 2019 de l'Ecole de jeunes chercheurs/chercheuses en informatique mathématique - Marseille # 4-8 mars 2019 / Editor Chalopin, Jérémie ; Editor Guillon, Pierre ; Principal Filiot, Emmanuel ; Co-auteur Frid, Anna ; Co-auteur Hétroy-Wheeler, Franck ; Co-auteur Knauer, Kolja ; Co-auteur Labourel, Arnaud ; Co-auteur Mari, Jean-Luc ; Co-auteur Reynier, Pierre-Alain ; Co-auteur Subsol, Gérard. -Paris : CNRS Editions, 2019. - vi; 139 p.
  ISBN 978-2-271-12611-5
  
• [Ouvrage] The mathematical theory of context-free languages / Principal Ginsburg, Seymour. -New York, San Francisco : McGraw-Hill Book Company, 1966. - xii; 232 p.
  
• [Thèse] Transduction des langages de Chomsky - / Principal Nivat, Maurice. -Paris : Faculté des Sciences de l'Université de Paris, 1967. - 340-455 p.
  
• [Ouvrage] Graph structure and monadic second-order logic : - a language-theoretic approach / Principal Courcelle, Bruno ; Principal Engelfriet, Joost. -Cambridge, New York : Cambridge University Press, 2012. - xiv; 728 p.
  ISBN 978-0-521-89833-1
  
• [Ouvrage] Teoria degli algoritmi e della calcolabilita / Principal Ausiello, Giorgio. -Roma : Edizioni Scientifiche Sideria, 1974. - 158 p.
  
• [Congrès] Langages algébriques: - actes des premières journées d'informatique théorique - Bonascre # 1973 / Editor Crestin, Jean-Pierre ; Editor Nivat, Maurice. -Paris : Ecole Nationale Supérieure de Techniques Avancées, 1978. - 281 p.
  ISBN 978-2-7225-0424-0
  
• [Thèse] Mots et motifs: performances asymptotiques / Principal Regnier, Mireille. -Orsay : Université Paris XI, 1991. - pag. multi.
  
• [Ouvrage] Theory of formal languages with applications / Principal Simovici, Dan A. ; Co-auteur Tenney, Richard L.. -Singapore, River Edge, London : World Scientific, 1999. - xii; 629 p.
  ISBN 978-981-02-3729-5
  
• [Ouvrage] Cours et exercices d'informatique: - classes préparatoires, 1er et 2nd cycles universitaires / Principal Albert, Luc ; Co-auteur Petazzoni, Bruno ; Co-auteur Puech, Nicolas ; Co-auteur Petit, Antoine ; Co-auteur Weil, Pascal ; Co-auteur Gastin, Paul ; Préfacier Krob, Daniel. -Paris : International Thomson Publishing France, 1998. - xvii; 434 p.
  ISBN 978-2-84180-106-0
  
• [Thèse] Etudes du comportement en moyenne des automates finis et des langages rationnels / Principal Nicaud, Cyril. -Paris : Universite Paris VII, 2000. - 221 p.
  
• [Ouvrage] Elements of automata theory / Principal Sakarovitch, Jacques ; Traducteur Thomas, Reuben. -Cambridge, New York : Cambridge University Press, 2009. - xxiv; 758 p.
  ISBN 978-0-521-84425-3
  
• [Ouvrage] Automatic sequences: - theory, applications, generalizations / Principal Allouche, Jean-Paul ; Co-auteur Shallit, Jeffrey. -Cambridge, New York : Cambridge University Press, 2003. - xvi; 571 p.
  ISBN 978-0-521-82332-6
  
• [Ouvrage] Codes and Automata / Principal Berstel, Jean ; Co-auteur Perrin, Dominique ; Co-auteur Reutenauer, Christophe. -Cambridge : Cambridge University Press, 2010. - xiii, 619 p.
  ISBN 978-0-521-88831-8
  
• [Ouvrage] A Course in formal languages, automata and groups / Principal Chiswell, Ian. -London, New York : Springer, 2009. - ix; 157 p.
  ISBN 978-1-84800-939-4
  
• [Congrès] A decade of concurrency: - reflections and perspectives; REX school/symposium#June1-4 / Editor De Bakker, J. W. ; Editor De Roever, W. P. ; Editor Rosenberg, G.. -Berlin, Heidelberg : Springer-Verlag, 1994. - 684p.
  ISBN 978-3-540-58043-0
  
• [Congrès] Formal methods in computer-aided design: - first international conference, FMCAD'96#Nov.6-8 / Editor Srivas, Mandayam ; Editor Camilleri, Albert. -Berlin, Heidelberg : Springer-Verlag, 1996. - 470p.
  ISBN 978-3-540-61937-6
  
• [Thèse] Répartition modulo un des suites automatiques - Thèse présentée à l'Université d'Aix-Marseille II - Luminy pour l'obtention du doctorat de mathématique / Principal Mauduit, Christian. -Marseille : Université d'Aix Marseille 2, 1986. - 32 p.
  
• [Congrès] Developments in language theory : - 11th international conference, DLT 2007 / Editor Harju, Tero ; Editor Karhumäki, Juhani ; Editor Lepistö, Arto. -Berlin, Heidelberg : Springer, 2007. - 421 p.
  ISBN 978-3-540-73207-5
  
• [Ouvrage] Automata theory with modern applications / Principal Anderson, James A. ; Contributor Head, Tom. -Cambridge, N. Y. : Cambridge University Press, 2006. - 255 p.
  ISBN 978-0-521-61324-8
  
• [Ouvrage] Handbook of formal languages. Vol. 3 : - beyond words / Editor Rozenberg, Grzegorz ; Editor Salomaa, Arto. -Berlin, Heidelberg : Springer, 1997. - 625 p.
  ISBN 978-3-540-60649-9
  
• [Ouvrage] Handbook of formal languages. Vol. 2 : - linear modeling : - background and application / Editor Rozenberg, Grzegorz ; Editor Salomaa, Arto. -Berlin, Heidelberg : Springer, 1997. - 528 p.
  ISBN 978-3-540-60648-2
  
• [Ouvrage] Handbook of formal languages. Vol. 1 : - Word, language, grammar / Editor Rozenberg, Grzegorz ; Editor Salomaa, Arto. -Berlin, Heidelberg : Springer, 1997. - 873 p.
  ISBN 978-3-540-60420-4
  
• [Ouvrage] Infinite words : - automata, semigroups, logic and games / Principal Perrin, Dominique ; Co-auteur Pin, Jean-Eric. -Amsterdam, Boston : Elsevier, 2004. - 538 p.
  ISBN 978-0-12-532111-2
  
• [Ouvrage] The origins of digital computers : - selected papers / Editor Randell, Brian. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1973. - 464 p.
  ISBN 978-3-540-06169-4
  
• [Ouvrage] Eléments de théorie des automates / Principal Sakarovitch, Jacques. -Paris : Vuibert Informatique, 2003. - 816 p.
  ISBN 978-2-7117-4807-5
  
• [Ouvrage] Regular algebra and finite machines / Principal Conway, J. H.. -London : Chapman & Hall, 1971. - 147 p.
  ISBN 978-0-412-10620-0
  
• [Ouvrage] Circuits logiques et automatismes à séquences / Principal Naslin, P.. -Paris : Dunod, 1965. - 476 p.
  
• [Congrès] Computational and experimental group theory : - AMS-ASL joint special session interactions between logic, group theory and computer science#Janv. 15-16 / Editor Borovik, Alexandre V. ; Editor Myasnikov, Alexei G.. -Providence : American Mathematical Society, 2004. - 224 p.
  ISBN 978-0-8218-3483-1
  
• [Ouvrage] Problem solving in automata, languages, and complexity / Principal Du, Ding-Zhu ; Co-auteur Ko, Ker-I. -Chichester, N.Y., Weinheim : John Wiley & Sons, Inc., 2001. - 396 p.
  ISBN 978-0-471-43960-8
  
• [Congrès] Semigroups, algorithms, automata and language : - thematic tern on ... held at the International Centre of Mathematics, CIM #May-July / Editor Gomes, Gracinda M. S. ; Editor Pin, Jean-Eric ; Editor Silva, Pedro V.. -London, New Jersey, Singapore : World Scientific, 2002. - 515 p.
  ISBN 978-981-238-099-9
  
• [Congrès] Words, languages and combinatorics III : - proceedings of the third international conference#March 14-18 / Editor Ito, Masami ; Editor Imaoka, Teruo. -London, New Jersey, Singapore : World Scientific Publishing, 2003. - 477 p.
  ISBN 978-981-02-4948-9
  
• [Ouvrage] Sintez struktury slozhnykh ob"ektov (logiko-kombinatorny i podkhod) [Synthèse de la structure des objets complexes (approche logico-combinatoire)] / Principal Ankudinov, G.I.. -Leningrad : Université de Leningrad, 1986. - 260 p.
  
• [Ouvrage] Substitutions in dynamics, arithmetics and combinatorics / Principal Pytheas Fogg, N. ; Editor Berthé, V. ; Editor Ferenczi, S. ; Editor Mauduit, Christian ; Editor Siegel, A.. -Berlin, Heidelberg, N.Y. : Springer, 2002. - 402 p.
  ISBN 978-3-540-44141-0
  
• [Ouvrage] Mathématiques de l'informatique : - cours et exercices corrigés / Principal Dehornoy, Patrick. -Paris : Dunod, 2000. - 303 p.
  ISBN 978-2-10-004446-7
  
• [Ouvrage] Studies in abstract families of languages / Principal Ginsburg, Seymour ; Co-auteur Greibach, Sheila ; Co-auteur Hopcroft, John. -Providence : American Mathematical Society, 1969. - 51 p.
  ISBN 978-0-8218-1287-7
  
• [Congrès] Developments in language theory : - foundations, applications, and perspectives#papers presented a the fourth international conference on ...#July 6-9 / Editor Rozenberg, G. ; Editor Thomas , W.. -London, New Jersey, Singapore : World Scientific, 2000. - 385 p.
  ISBN 978-981-02-4380-7
  
• [Congrès] Théorie des langages et complexité des algorithmes - oct. -Villeurbanne : Université Claude-Bernard Lyon 1, 1984. - 120 p.
  
• [Congrès] Dna based computers III : - Dimacs workshop#June 23-25 / Editor Rubin, Harvey ; Editor Wood, David Harlan. -Providence : American Mathematical Society, 1999. - 375 p.
  ISBN 978-0-8218-0842-9
  
• [Congrès] Mathematical foudations of computer science 1998 : - proceding of the 13th symposium on ...#Aug. 29 - Sept. 2 / Editor Chytil, M. P. ; Editor Janiga, L. ; Editor Koubec, V.. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1988. - 562 p.
  ISBN 978-3-540-50110-7
  
• [Congrès] Mathematical foundations of computer science 1996 : - 21 st international symposium, mfcs / Editor Penczek, Wojciech ; Editor Szafas, Andrezj,. -Berlin, Heidelberg, N.y. : Springer, 1996. - 592 p.
  ISBN 978-3-540-61550-7
  
• [Congrès] Mathematical foundations of computer science 1997 : - 22nd international symposium, mfcs'97#Aug. 25-29 / Editor Privara, Igor ; Editor Ruzicka, Peter. -Berlin, Heidelberg, N.y. : Springer, 1997. - 517 p.
  ISBN 978-3-540-63437-9
  
• [Ouvrage] The formal semantics of programming languages : - an introduction / Principal Winskel, Glynn. -Cambridge, London : The Mit Press, 1996. - 361 p.
  ISBN 978-0-262-23169-5
  
• [Congrès] Graph-theoretic concepts in computer science : - 23rd international workshop, WG'97#June 18-20 / Editor Möhring, Rolf H.. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 371 p.
  ISBN 978-3-540-63757-8
  
• [Congrès] Word equations and related topics : - second international workshop, IWWERT '91#Oct. 7-9 / Editor Abdulrab, Habib ; Editor Pécuchet, Jean-Pierre. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1993. - 214 p.
  ISBN 978-3-540-56730-1
  
• [Ouvrage] New trends in formal languages : - control, cooperation, and combinatorics / Editor Paun, Gheorghe ; Editor Salomaa, Arto. -Berlin, Heidelberg, N.Y. : Springer, 1997. - 464 p.
  ISBN 978-3-540-62844-6
  
• [Congrès] Computational logic and proof theory : - 5th Kurt Gödel colloquium, KGC '97#Aug. 25-29 / Editor Gottlob, Georg ; Editor Leitsch, Alexander ; Editor Mundici, Daniele. -Berlin, Heidelberg, N.Y. : Springer, 1997. - 347 p.
  ISBN 978-3-540-63385-3
  
• [Ouvrage] Handbook of theoretical computer science. Vol. B - formal models and semantics / Editor Van Leeuwen, Jan. -Amsterdam, Cambridge, N.Y. : Elsevier;The Mit Press, 1990
  ISBN 978-0-444-88074-1
  
• [Ouvrage] Regulated rewriting in formal language theory / Principal Dassow, Jürgen ; Co-auteur Paun, Gheorghe. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1989. - 308 p.
  ISBN 978-3-540-51414-5
  
• [Ouvrage] Rational series and their languages / Principal Berstel, Jean ; Co-auteur Reutenauer, Christophe. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1988. - 151 p.
  ISBN 978-3-540-18626-7
  
• [Ouvrage] The logic of partial information / Principal Nait Abdallah, Areski. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 715 p.
  ISBN 978-3-540-56583-3
  
• [Congrès] Rewriting techniques and applications : - 7th international conference RTA-96#July 27-30 / Editor Ganzinger, Harald. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 435 p.
  ISBN 978-3-540-61464-7
  
• [Congrès] STACS 98 : - 15th annual symposium on theoretical aspects of computer science#Feb 25-27 / Editor Krob, Daniel ; Editor Meinel, Christoph ; Editor Morvan, Michel. -Berlin, Heidelberg, N.Y. : Springer, 1998. - 628 p.
  ISBN 978-3-540-64230-5
  
• [Congrès] Partial order methods in verification : - DIMACS workshop Univerity of Princeton#July 24-26 / Editor Holzmann, Gerard J. ; Editor Peled, Doron A. ; Editor Pratt, Vaughan R.. -Providence, R.I. : American Mathematical Society, 1997. - 403 p.
  ISBN 978-0-8218-0579-4
  
• [Congrès] Computer science logic : - 8th workshop, CSL'94#Sept. 25-30 / Editor Pacholski, Leszek ; Editor Tiuryn, Jerzy. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 541 p.
  ISBN 978-3-540-60017-6
  
• [Ouvrage] Feasible computations and provable complexity properties / Principal Hartmanis, Juris. -Philadelphia : S.I.A.M., 1978. - 62 p.
  ISBN 978-0-89871-027-4
  
• [Congrès] Symposium on semantics of algorithmic languages / Editor Engeler, E.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1971
  ISBN 978-3-540-05377-4
  
• [Ouvrage] Introduction à la calculabilité / Principal Wolper, Pierre. -Paris : Intereditions, 1991. - 268 p.
  ISBN 978-2-7296-0372-4
  
• [Ouvrage] Formal models and semantics. Vol. B / Editor Van Leeuwen, Jan. -Amsterdam, Cambridge,MA, N.Y., Oxford, Tokyo : Elsevier;The Mit Press, 1990. - 1273 p.
  ISBN 978-0-444-88074-1
  
• [Ouvrage] Algebraic linguistics : - analytical models / Principal Marcus, Solomon. -London, N.Y. : Academic Press, 1967. - 254 p.
  
• [Ouvrage] Approche logique de l'intelligence artificielle. Tome 4 : - de l'apprentissage artificiel aux frontières de l'IA / Secondaire Delsarte, Philippe ; Secondaire Hagelstein, Jacques ; Secondaire Thayse, Andre. -Paris : Dunod, 1991. - 358 p.
  ISBN 978-2-10-000073-9
  
• [Ouvrage] Formal languages and their relation to automata / Principal Hopcroft, John E. ; Co-auteur Ullman , Jeffrey D.. -London, Menlo Park, Reading : Addison-Wesley Publishing Company, 1969. - 242 p.
  
• [Ouvrage] Mathematical structures of language / Principal Harris, Zellig. -London, N.Y., Sydney : Interscience Publishers, 1968. - 230 p.
  
• [Ouvrage] Notions sur les grammaires formelles / Principal Gross, Maurice ; Co-auteur Lentin, André. -Paris : Gauthier-Villars, 1967. - 196 p.
  
• [Ouvrage] Formal languages : - automata and structures / Principal Engeler, Erwin. -Chicago : Markham Publishing Co., 1968. - 81 p.
  
• [Ouvrage] Initiation à la logique / Principal Dubarle, R. P.. -Louvain, Paris : Gauthier-Villars;Nauwelaerts, 1957. - 89 p.
  
• [Ouvrage] Computer programming and formal systems / Editor Brafford, P. ; Editor Hirschberg, D.. -Amsterdam, London : North-Holland Publishing Co., 1970. - 160 p.
  
• [Ouvrage] Méthode axiomatique et formalisme. Fasc. II : - axiomatique et système formel / Principal Cavailles, Jean. -Paris : Hermann & Cie., 1938. - Pp. 76-131
  
• [Congrès] Mathematical foundations of programming semantics : - 7th international conference#March 25-28 / Editor Brookes, S. D. ; Editor Main, M. ; Secondaire Melton, A.. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 506 p.
  ISBN 978-3-540-55511-7
  
• [Congrès] Theory of computing and systems : - ISTCS'92 Israel symposium#May 27-28 / Editor Dolev, D. ; Editor Galil Z. ; Editor Rodeh. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 219 p.
  ISBN 978-3-540-55553-7
  
• [Ouvrage] Modular construction and partial order semantics of Petri nets / Principal Vogler, W.. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 251 p.
  ISBN 978-3-540-55767-8
  
• [Ouvrage] La logique ou l'art de penser / Principal Arnauld, Antoine ; Co-auteur Nicole, Pierre ; Préfacier Jourdain, Charles. -Paris : Gallimard, 1992. - 404 p.
  ISBN 978-2-07-072726-1
  
• [Congrès] Word equations and related topics : - 1st international workshop iwwert'90#Oct. 1-3 / Editor Schulz, K. U.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1992. - 256 p.
  ISBN 978-3-540-55124-9
  
• [Ouvrage] Outils logiques pour le traitement du temps - de la linguistique a l'intelligence artificielle / Principal Bestougeff, Helene ; Co-auteur Ligozat, Gerard. -Bacelone, Milan, Paris : Masson, 1989. - 272 p.
  ISBN 978-2-225-81632-1
  
• [Congrès] Icdt '86 : - international conference on database theory held in rome#Sept. 8-10 / Editor Atzeni, Paolo ; Editor Ausiello, Giorgio. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 444 p.
  ISBN 978-3-540-17187-4
  
• [Congrès] Automata, languages and programming : - 13th international colloquium#July 15-19 / Editor Kott, Laurent. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 474 p.
  ISBN 978-3-540-16761-7
  
• [Congrès] Computation theory : - fifth symposium on...#Dec. 2-8 / Editor Skowron, Andrzejz. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 397 p.
  ISBN 978-3-540-16066-3
  
• [Congrès] Automata, languages and programming : - 12th colloquium was held in nafplion#July 15-19 / Editor Brauer, Wilfried. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 519 p.
  ISBN 978-3-540-15650-5
  
• [Congrès] Logics of programs : - proceedings of a conference on... held at brooklyn coolege#June 17-19 / Editor Parikh, Rohit. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 424 p.
  ISBN 978-3-540-15648-2
  
• [Congrès] Foundations of software technology and theoretical computer science : - fourth conference on... was held in bangalore#Dec. 13-15 / Editor Joseph, Mathai ; Editor Shyamasundar, Rudrapatna. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1984. - 468 p.
  ISBN 978-3-540-13883-9
  
• [Ouvrage] Elements of functional languages / Principal Henson, Martin C.. -Edinburgh, London, Oxford : Blackwell Scientific Publications, 1987. - 434 p.
  ISBN 978-0-632-01739-3
  
• [Ouvrage] A first course in formal language theory / Principal Smith, S. . -Edinburgh, London, Oxford : Blackwell Scientific Publications, 1987. - 123 p.
  ISBN 978-0-632-01176-6
  
• [Ouvrage] Transductions rationnelles - application aux langages algébriques / Principal Autebert, Jean-Michel ; Co-auteur Boasson, Luc. -Barcelone, Milan, Paris : Masson, 1988. - 133 p.
  ISBN 978-2-225-81504-1
  
• [Ouvrage] Syntax analysis and software tools / Principal Gough, K. John. -Sydney, Wokingham : Addison-Wesley Publishing Company, 1988. - 460 p.
  ISBN 978-0-201-18048-0
  
• [Congrès] Mathematical foundations of computer science 1978 : - proceedings of the 7th symposium#Sept. 4-8 / Editor Winkowski, J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1978. - 551 p.
  ISBN 978-3-540-08921-6
  
• [Congrès] Logics of programs : - workshop held at the ibm thomas j. watson research center in yorktown heights#May 4-6 / Editor Kozen, Dexter. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 429 p.
  ISBN 978-3-540-11212-9
  
• [Ouvrage] Introduction to computer theory / Principal Cohen, Daniel I. A.. -Brisbane, Chichester, N.Y. : John Wiley And Sons, 1985. - 431 p.
  
• [Ouvrage] Introduction au turbo pascal / Principal Stivison, Douglas S.. -Berkeley, Dusseldorf, Paris : Sybex, 1985
  ISBN 978-2-7361-0217-3
  
• [Ouvrage] The mathematical theory of l systems / Principal Rozenberg, Grzegorz ; Co-auteur Salomaa, Arto. -London, N.Y., Tornto : Academic Press, 1980. - 352 p.
  ISBN 978-0-12-597140-9
  
• [Ouvrage] Logique binaire : - fonctions logiques et arithmétique binaire / Principal Aumiaux, Michel. -Paris : Masson, 1984. - 320 p.
  ISBN 978-2-225-79200-7
  
• [Congrès] Logic programming - first international workshop on... held in debrecen,hungary,1980 / Editor Clark, K. L. ; Editor Tarnlund, S. A.. -London, N.Y., Paris : Academic Press, 1982
  ISBN 978-0-12-175520-1
  
• [Ouvrage] Les séries rationnelles et leurs langages / Principal Berstel, Jean ; Co-auteur Reutenauer, C.. -Paris : Masson, 1984. - 132 p.
  ISBN 978-2-225-80137-2
  
• [Ouvrage] Higher mathematics from an elementary point of view / Principal Rademacher, H.. -Basel, Boston, Stuttgart : Birkhäuser Verlag, 1983. - 138 p.
  ISBN 978-3-7643-3064-4