IOC - PDFSEARCH.IO - Document Search Engine

IOC
Results: 2147

#	Item
621	Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2011-01-27 08:54:11
622	Certified CYK parsing of context-free languagesI Denis Firsov∗, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia Abstract We report a work on certifie Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-10-20 19:28:48
623	LNCSCertified Parsing of Regular Languages Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-08-25 14:19:15
624	Call for Participation 10th Estonian Winter School in Computer Science, EWSCS’05 Palmse, Estonia, 27 February-4 March 2005 under the auspices of European Educational Forum Background and objectives Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2004-11-20 17:00:04
625	A note on strong dinaturality, initial algebras and uniform parameterized fixpoint operators Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia tarmo@c Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2010-07-30 07:13:49
626	6th Workshop on Fixed Points in Computer Science FICS 2009 Coimbra, Portugal, 12-13 September 2009 Proceedings Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-08-31 18:46:10
627	Structured general corecursion and coinductive graphs [extended abstract] Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Estonia Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-03-06 16:27:23
628	Certified Normalization of Context-Free Grammars Denis Firsov Tarmo Uustalu Institute of Cybernetics at TUT Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2015-01-13 16:49:49
629	International Journal of Foundations of Computer Science c World Scientific Publishing Company COMPOSITIONAL TYPE SYSTEMS FOR STACK-BASED LOW-LEVEL LANGUAGES Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-05-18 11:42:00
630	CMCSComonadic Notions of Computation Tarmo Uustalu1 Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2008-05-06 04:08:18

UPDATE