| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Parikh/document/ (Archive of formal Proofs Version 2026-5©) Datei vom 29.4.2026 mit Größe 286 B |
|
Quelle root.bib Sprache: Latech |
|||||||||||||||||||||||||
|
@article{Pilling, author = {Pilling, D. L.}, title = {Commutative Regular Equations and {Parikh's} Theorem}, journal = {Journal of the London Mathematical Society}, volume = {s2-6}, number = {4}, pages = {663-666}, note = {\url{https://doi.org/10.1112/jlms/s2-6.4.663}}, year = {1973} }
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-11-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-01