Publications de l'année 1985

1. S. Lavrov, Anatol Slissenko, et G. Tseitin. Curriculum for Informatics and System Programming. Project.. Microprocessor Devices and Systems, 4:20-28, 1985. Note: (In Russian.).
   

   @ARTICLE{LavrSlisTsei:1985:CISP,
   author = {Lavrov, S. and Anatol Slissenko and Tseitin, G.},
   title = {Curriculum for Informatics and System Programming. {P}roject.},
   journal = {Microprocessor Devices and Systems},
   year = 1985,
   volume = 4,
   pages = {20--28},
   note = {(In Russian.)} 
   }
   




2. M. Parigot et E. Pelz. A logical approach of Petri net languages. Theoretical Computer Science, 39:155-169, 1985.
   

   @Article{parigot85:_petri,
   author = {M. Parigot and E. Pelz},
   title = {A logical approach of Petri net languages},
   journal = {Theoretical Computer Science},
   year = 1985,
   volume = 39,
   pages = {155--169} 
   }
   




3. E. Pelz. Les débuts de la méthode de priorité et les théorèmes de Friedberg-Muchnick. Seminaire de Logique 1982-1983, 19:45-64, 1985. Note: F. Delon, D. Lascar, A. Louveau, G. Sabbagh editeurs, Publ. MAth. de l'Univ. Paris VII, Collection Astérisques.
   

   @Article{pelz85:_les_fried_muchn,
   author = {E. Pelz},
   title = {Les débuts de la méthode de priorité et les théorèmes de Friedberg-Muchnick},
   journal = {Seminaire de Logique 1982-1983},
   year = 1985,
   volume = 19,
   pages = {45-64},
   note = {F. Delon, D. Lascar, A. Louveau, G. Sabbagh editeurs, Publ. MAth. de l'Univ. Paris VII, Collection Astérisques } 
   }
   




4. E. Pelz. On the complexity of theories of permutations. Theoretical Computer Science, 41:247-269, 1985.
   

   @Article{pelz85,
   author = {E. Pelz},
   title = {On the complexity of theories of permutations},
   journal = {Theoretical Computer Science},
   year = 1985,
   volume = 41,
   pages = {247--269} 
   }
   

1. E. Pelz et G. Vidal-Naquet. Réseaux de Petri: modélisation, langages, extensions. Dans Journées Informatique et Mathématiques, 1985. Univ. Caen.
   

   @InProceedings{pelz85:_petri,
   author = {E. Pelz and G. Vidal-Naquet},
   title = {Réseaux de Petri: modélisation, langages, extensions},
   booktitle = {Journées "Informatique et Mathématiques"},
   year = 1985,
   organization = {Univ. Caen} 
   }
   

1. M. Parigot et E. Pelz. A logical charactéeisation of Petri net languages. Note: In 6th Europ. Workshop on Application and Theory of Petri nets, 1985.
   

   @Unpublished{parigot85:_petri,
   author = {M. Parigot and E. Pelz},
   title = {A logical charactéeisation of Petri net languages},
   note = {In 6th Europ. Workshop on Application and Theory of Petri nets},
   year = 1985 
   }