Author of the publication

Cayley, Version 4: The User Language.

, and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 456-466. Springer, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The EnzymeTracker: an open-source laboratory information management system for sample tracking., and . BMC Bioinform., (2012)The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula., and . Softw. Pract. Exp., 17 (2): 117-134 (1987)Refactoring the Scenario Specification: A Message Sequence Chart Approach., , and . OOIS, volume 2817 of Lecture Notes in Computer Science, page 294-298. Springer, (2003)Implementing Some Algorithms of Kantor.. AAECC, volume 539 of Lecture Notes in Computer Science, page 82-93. Springer, (1991)Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers., and . J. Symb. Comput., 12 (4/5): 443-458 (1991)Computing in Permutation and Matrix Groups III: Sylow Subgroups., and . J. Symb. Comput., 8 (3): 241-252 (1989)Deductive Mathematical Databases - A Case Study., and . SSDBM, volume 420 of Lecture Notes in Computer Science, page 50-64. Springer, (1990)TooT-BERT-M: Discriminating Membrane Proteins from Non-Membrane Proteins using a BERT Representation of Protein Primary Sequences., and . CIBCB, page 1-8. IEEE, (2022)WISH Query Composer., and . ICEIS (1), page 566-569. (2004)TargetIdentifier: a webserver for identifying full-length cDNAs from EST sequences., , , and . Nucleic Acids Res., 33 (Web-Server-Issue): 669-672 (2005)