Сайты, похожие на Dcfs07.Ics.Upjs.Sk

34th International Colloquium on Automata, Languages and Programming. Wrocław, Poland. 9–13 July 2007.

48th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island. 20–23 October 2007.

24th IEEE Conference on Computer Vision and Pattern Recognition. Colorado Springs, USA. June 20-25, 2011.

MFCS 2007 - 32nd International Symposium on Mathematical Foundations of Computer Science, August 27-31, 2007, Cesky Krumlov, Czech Republic, Europe.

Atlanta, Georgia

CALCO 2011: Fourth International Conference on Algebra and Coalgebra in Computer Science

A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order ...

Research group focused on research in the field of pattern matching, text algorithms, information retrieval, finite automata etc. Publications, members, events ...