Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Book section | Conference or workshop item

Number of items: 3.

Book section

Simon, Axel and King, Andy (2002) Analyzing String Buffers in C. In: Kirchner, Hélène and Ringeissen, Christophe, eds. International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, 2422 . Springer, pp. 365-379. ISBN 3-540-44144-1. (doi:https://doi.org/10.1007/3-540-45719-4_25) (Full text available)

Preview

King, Andy and Soper, Paul (1992) Serialisation Analysis of Concurrent Logic Programs. In: Kirchner, Hélène and Levi, Giorgio, eds. Algebraic and Logic Programming. Lecture Notes in Computer Science, 632 . Springer, pp. 322-334. ISBN 3-540-55873-X. (Full text available)

Preview

Conference or workshop item

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems. Lecture Notes in Computer Science, 1794. Springer-Verlag Berlin pp. 136-150. ISBN 3-540-67281-8. (Full text available)

Preview

This list was generated on Sun May 5 22:22:52 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0