{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:06Z","timestamp":1772163966047,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,27]]},"DOI":"10.1145\/1067445.1067536","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"330-334","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A prolog toolkit for formal languages and automata"],"prefix":"10.1145","author":[{"given":"Michel","family":"Wermelinger","sequence":"first","affiliation":[{"name":"Open University, Walton Hall, Milton Keynes, UK"}]},{"given":"Artur Miguel","family":"Dias","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Caparica, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2005,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/782941.782975"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/51594.51597"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/165408.165414"},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman . Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , 1979 . J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"e_1_3_2_1_5_1","volume-title":"Second author. Formal languages and automata. 298 slides","author":"Monteiro L.","year":"2003","unstructured":"L. Monteiro . Second author. Formal languages and automata. 298 slides , Univ. Nova de Lisboa , 2003 . In Portuguese. L. Monteiro. Second author. Formal languages and automata. 298 slides, Univ. Nova de Lisboa, 2003. In Portuguese."},{"key":"e_1_3_2_1_6_1","volume-title":"Handout","author":"Monteiro L.","year":"2002","unstructured":"L. Monteiro , M. Wermelinger , M. Mamede , and L. Caires . Authors and colleagues. Formal languages and automata exercises . Handout , 2002 . 16 pages. L. Monteiro, M. Wermelinger, M. Mamede, and L. Caires.Authors and colleagues. Formal languages and automata exercises. Handout, 2002. 16 pages."},{"key":"e_1_3_2_1_7_1","volume-title":"The Art of Prolog","author":"Sterling L.","year":"1994","unstructured":"L. Sterling and E. Shapiro . The Art of Prolog . MIT Press , 2 nd edition, 1994 . L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 2nd edition, 1994.","edition":"2"},{"key":"e_1_3_2_1_8_1","volume-title":"Automata Implementation, LNCS 1260","author":"van Noord G.","year":"1997","unstructured":"G. van Noord . FSA utilities: A toolbox to manipulate finite-state automata . In Automata Implementation, LNCS 1260 . Springer Verlag , 1997 . G. van Noord. FSA utilities: A toolbox to manipulate finite-state automata. In Automata Implementation, LNCS 1260. Springer Verlag, 1997."}],"event":{"name":"ITiCSE05: Innovation and Technology in Computer Science Education","location":"Caparica Portugal","acronym":"ITiCSE05","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1067445.1067536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:10:29Z","timestamp":1693822229000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1067445.1067536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,27]]},"references-count":8,"alternative-id":["10.1145\/1067445.1067536","10.1145\/1067445"],"URL":"https:\/\/doi.org\/10.1145\/1067445.1067536","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1151954.1067536","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,27]]},"assertion":[{"value":"2005-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}