Edit Profile (opens in new tab) Pair, Claude Compute Distance To: Compute Author ID: pair.claude Published as: Pair, C.; Pair, Claude External Links: MGP · Wikidata · IdRef · theses.fr Documents Indexed: 24 Publications since 1963, including 1 Book 1 Contribution as Editor Co-Authors: 16 Co-Authors with 8 Joint Publications 198 Co-Co-Authors all top 5 Co-Authors 16 single-authored 3 Quere, A. 1 Amirchahy, M. 1 André, Jacques 1 Bacchus, Pierre 1 Bellegarde, Françoise 1 Boussard, J. C. 1 Broy, Manfred 1 Derniame, Jean-Claude 1 Finance, Jean-Pierre 1 Huc, B. 1 Jaray, Jacques 1 Lescanne, Pierre 1 Maroldt, J. 1 Neel, David L. 1 Remy, Jean-Luc 1 Wirsing, Martin all top 5 Serials 5 Revue Française d’Informatique et de Recherche Opérationnelle 2 Journal of Computer and System Sciences 2 Theoretical Computer Science 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Annals of the History of Computing 1 Information and Control 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Paris 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Bleue 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle (RAIRO). Informatique 1 Revue Française de Traitement de l’Information. Chiffres all top 5 Fields 18 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 38 times in 30 Documents Cited by ▼ Year ▼ Définition et étude des bilangages réguliers. Zbl 0181.01603Pair, C.; Quere, A. 12 1968 A systematic study of models of abstract data types. Zbl 0552.68010Broy, M.; Wirsing, M.; Pair, C. 9 1984 Abstract data types and algebraic semantics of programming languages. Zbl 0499.68010Pair, C. 3 1982 Medee: A type of language for the deductive programming method. Zbl 0408.68014Bellegarde, F.; Finance, J. P.; Huc, B.; Jaray, J.; Lescanne, P.; Maroldt, J.; Pair, C.; Quere, A.; Remy, J. L. 2 1979 Correctness proofs of syntax-directed processing descriptions by attributes. Zbl 0416.68075Pair, C.; Amirchahy, M.; Neel, D. 2 1979 Sur des notions algébriques liees à l’analyse syntaxique. Zbl 0281.68034Pair, C. 2 1970 Sur des algorithmes pour les problèmes de cheminement dans les graphes finis. Zbl 0203.26602Pair, C. 2 1967 La construction des programmes. Zbl 0399.68015Pair, C. 1 1979 Some theoretical aspects of program construction. Zbl 0408.68020Pair, Claude 1 1979 La formalisation des langages de programmation. (Formalization programming language). Zbl 0229.68025Pair, C. 1 1971 Application de la théorie de ramifications au problème de l’équivalence structurale de deux C-grammaires. (Application of the ramification in the structurale equivalence problems of two C-grammars.). Zbl 0235.68028Pair, C. 1 1971 Problèmes de cheminement dans les graphes. Zbl 0243.05117Derniame, J. C.; Pair, C. 1 1971 Toute grammaire LL(k) est LR(k) (suite). Zbl 0289.68039Pair, C. 1 1974 A systematic study of models of abstract data types. Zbl 0552.68010Broy, M.; Wirsing, M.; Pair, C. 9 1984 Abstract data types and algebraic semantics of programming languages. Zbl 0499.68010Pair, C. 3 1982 Medee: A type of language for the deductive programming method. Zbl 0408.68014Bellegarde, F.; Finance, J. P.; Huc, B.; Jaray, J.; Lescanne, P.; Maroldt, J.; Pair, C.; Quere, A.; Remy, J. L. 2 1979 Correctness proofs of syntax-directed processing descriptions by attributes. Zbl 0416.68075Pair, C.; Amirchahy, M.; Neel, D. 2 1979 La construction des programmes. Zbl 0399.68015Pair, C. 1 1979 Some theoretical aspects of program construction. Zbl 0408.68020Pair, Claude 1 1979 Toute grammaire LL(k) est LR(k) (suite). Zbl 0289.68039Pair, C. 1 1974 La formalisation des langages de programmation. (Formalization programming language). Zbl 0229.68025Pair, C. 1 1971 Application de la théorie de ramifications au problème de l’équivalence structurale de deux C-grammaires. (Application of the ramification in the structurale equivalence problems of two C-grammars.). Zbl 0235.68028Pair, C. 1 1971 Problèmes de cheminement dans les graphes. Zbl 0243.05117Derniame, J. C.; Pair, C. 1 1971 Sur des notions algébriques liees à l’analyse syntaxique. Zbl 0281.68034Pair, C. 2 1970 Définition et étude des bilangages réguliers. Zbl 0181.01603Pair, C.; Quere, A. 12 1968 Sur des algorithmes pour les problèmes de cheminement dans les graphes finis. Zbl 0203.26602Pair, C. 2 1967 all cited Publications top 5 cited Publications all top 5 Cited by 29 Authors 5 Broy, Manfred 4 Pair, Claude 4 Wirsing, Martin 3 Hennicker, Rolf 2 Lugiez, Denis 2 Neven, Frank 2 Quere, A. 2 Remy, Jean-Luc 1 Arnold, André 1 Bergstra, Jan A. 1 Bernot, Gilles 1 Courcelle, Bruno 1 Dal Zilio, Silvano 1 Dauchet, Max 1 Deransart, Pierre 1 Dikovsky, Alexander Yakovlevich 1 Ehrich, Hans-Dieter 1 Finance, Jean-Pierre 1 Gladky, A. V. 1 Heilbrunner, Stephan 1 Lilin, Eric 1 Luccio, Fabrizio 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Poigné, Axel 1 Ponse, Alban 1 Schwentick, Thomas 1 von Bochmann, Gregor 1 Voss, Josef 1 Wongseelashote, Ahnont all top 5 Cited in 15 Serials 6 Theoretical Computer Science 5 RAIRO, Informatique Théorique 3 Journal of Computer and System Sciences 2 Acta Informatica 2 Journal of Soviet Mathematics 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Discrete Mathematics 1 Information Processing Letters 1 International Journal of Computer & Information Sciences 1 Information and Computation 1 Formal Aspects of Computing 1 Applicable Algebra in Engineering, Communication and Computing 1 Diagrammes 1 Theory of Computing Systems 1 Logical Methods in Computer Science Cited in 4 Fields 28 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 2 General algebraic systems (08-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.