Publication:4537000

zbMath0996.68841MaRDI QIDQ4537000

Jacob Kornerup

Publication date: 6 November 2002

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68U99: Computing methodologies and applications

68P05: Data structures

Related Items

A formalization of powerlist algebra in ACL2