Pages that link to "Item:Q1179266"

The following pages link to Classes of finite relations as initial abstract data types. I (Q1179266):

Displaying 7 items.

• An axiomatization of graphs (Q707454) (← links)
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
• Classes of finite relations as initial abstract data types. II (Q1318793) (← links)
• Dynamic connectors for concurrency (Q1603689) (← links)
• Normal forms for algebras of connections. (Q1853455) (← links)
• Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)