J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University

First Page		Document Content
Date: 2007-10-29 03:55:14 Finite automata Computability Deterministic automaton Computational complexity theory Deterministic finite automaton Finite-state machine Regular language Reduction Algorithm Theoretical computer science Mathematics Cognitive science		J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University Add to Reading List Source URL: www.openu.ac.il Download Document from Source Website File Size: 848,16 KB Share Document on Facebook

	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	UniALT for regular language contrained shortest paths on a multi-modal transportation network Dominik Kirchler1,2,3 , Leo Liberti1 , Thomas Pajor4 , and Roberto Wolfler Calvo2 1 2 DocID: 1vlJf - View Document
	Stricken language would be deleted from and underlined language would be added to present law. Act 982 of the Regular Session As Engrossed: 1 DocID: 1uQRc - View Document
	Stricken language would be deleted from and underlined language would be added to present law. Act 91 of the Regular Session 1 State of Arkansas DocID: 1uHsS - View Document
	Amendment to the By-laws of the Society for Invertebrate Pathology adopted at the regular business meeting of the Society in Halifax, Nova Scotia Canada on August 11, The following supersedes the original language DocID: 1uEVl - View Document