Wyniki wyszukiwania dla: Neil Ghani
Theoretical Computer Science > 2018 > 741 > C > 48-57
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 197-211
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 226-241
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Joint RTA-TLCA Invited Talk > 452-466
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 59-71
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Type Theory > 72-87
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 176-191
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 23-38