Coalgebraic automata theory basic results: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

    15 August 2022

    • curprev 04:0904:09, 15 August 2022‎ 187.21.138.9 talk‎ 250 bytes +250‎ Created page with "== Target Article == Coalgebraic automata theory basic results; C Kupke, Y Venema; ; doi_citing_unknown == Retraction == PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002 ; doi_cited_unknown == Citation piece == Note: Open to append information."
Retrieved from "https://wikicitingretracted.org/index.php?title=Coalgebraic_automata_theory_basic_results"