Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abst...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Desharnais, Jules (Editor, http://id.loc.gov/vocabulary/relators/edt), Guttmann, Walter (Senior lecturer) (Editor, http://id.loc.gov/vocabulary/relators/edt), Guttmann, Walter (Editor, http://id.loc.gov/vocabulary/relators/edt), Joosten, Stef (Editor, http://id.loc.gov/vocabulary/relators/edt), Joosten, Stef, 1959- (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Book
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018
Edition:	1st ed. 2018
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 11194. LNCS sublibrary Theoretical computer science and general issues 11194
Subjects:	Artificial intelligence Compilers (Computer programs) Computer logic Computer programming Computer science Logic, Symbolic and mathematical Machine theory Numerical analysis Programming languages (Electronic computers) Formal Languages and Automata Theory Mathematical Logic and Formal Languages Artificial Intelligence Compilers and Interpreters Computer Science Logic and Foundations of Programming Logics and Meanings of Programs Numeric Computing Numerical Analysis Programming Languages, Compilers, Interpreters Programming Techniques
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /

Internet

Similar Items