×

Found 14,502 Documents (Results 1–100)

Explicit Hopcroft’s trick in categorical partition refinement. (English) Zbl 07970793

König, Barbara (ed.) et al., Coalgebraic methods in computer science. 17th IFIP WG 1.3 international workshop, CMCS 2024, colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14617, 135-155 (2024).
MSC:  68Q65

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software