Graphes canoniques de graphes algébriques

Article Properties
Cite
Caucal, Didier. “Graphes Canoniques De Graphes algébriques”. RAIRO - Theoretical Informatics and Applications, vol. 24, no. 4, 1990, pp. 339-52, https://doi.org/10.1051/ita/1990240403391.
Caucal, D. (1990). Graphes canoniques de graphes algébriques. RAIRO - Theoretical Informatics and Applications, 24(4), 339-352. https://doi.org/10.1051/ita/1990240403391
Caucal D. Graphes canoniques de graphes algébriques. RAIRO - Theoretical Informatics and Applications. 1990;24(4):339-52.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
10.1007/BFb0017309
The theory of ends, pushdown automata, and second-order logic Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 88 1985
10.1007/3-540-10284-1
10.1007/BF01744577
10.1007/978-94-009-8399-1
Citations
Title Journal Journal Categories Citations Publication Date
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata Journal of Computer and System Sciences
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2018
A general account of coinduction up-to Acta Informatica
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 6 2016
An experimental ambiguity detection tool Science of Computer Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2010
An Experimental Ambiguity Detection Tool Electronic Notes in Theoretical Computer Science 1 2008
Decidability of Weak Bisimilarity for a Subset of BPA Electronic Notes in Theoretical Computer Science 1 2008
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science15
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software12
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware12
Technology: Technology (General): Industrial engineering. Management engineering: Information technology3
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication3
Science: Science (General): Cybernetics: Information theory3
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods3
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 15 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled A short proof of the decidability of bisimulation for normed bpa-processes and was published in 1992. The most recent citation comes from a 2018 study titled A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. This article reached its peak citation in 2003, with 3 citations. It has been cited in 9 different journals. Among related journals, the Theoretical Computer Science cited this research the most, with 7 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year