{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:46Z","timestamp":1725663826928},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:03Z","timestamp":1330192803000},"page":"30-44","source":"Crossref","is-referenced-by-count":2,"title":["A new method for solving linear constraints on the natural numbers"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Filgueiras","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","unstructured":"Habib Abdulrab and J.-P. P\u00e9cuchet, Solving systems of linear Diophantine equations and word equations. In N. Dershowitz (ed.) Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, 355, Springer-Verlag, 530\u2013532, 1986."},{"key":"3_CR2","unstructured":"Alexandre Boudet, E. Contejean and H. Devie, A new AC Unification algorithm with an algorithm for solving systems of Diophantine equations. In Proceedings of the 5th Conference on Logic and Computer Science, IEEE, 1990."},{"issue":"4","key":"3_CR3","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1137\/0211057","volume":"11","author":"T. J. Chou","year":"1982","unstructured":"Tsu-Wu J. Chou and G. E. Collins, Algorithms for the solution of systems of linear Diophantine equations. SIAM J. Comput., 11(4), 687\u2013708, 1982.","journal-title":"SIAM J. Comput."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Jacques Cohen, Constraint Logic Programming Languages. Comm. ACM, 33(7), 1990.","DOI":"10.1145\/79204.79209"},{"key":"3_CR5","unstructured":"Alain Colmerauer, Opening the Prolog III Universe. Byte, 12(9), 1987."},{"key":"3_CR6","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier, The constraint Logic Programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, 1988."},{"key":"3_CR7","unstructured":"Miguel Filgueiras, Systems of Linear Diophantine Equations and Logic Grammars. Centro de Inform\u00e1tica da Universidade do Porto, 1990."},{"key":"3_CR8","unstructured":"Miguel Filgueiras and A. P. Tom\u00e1s, Relating Grammar Derivations and Systems of Linear Diophantine Equations. Centro de Inform\u00e1tica da Universidade do Porto, 1990."},{"key":"3_CR9","unstructured":"Miguel Filgueiras and A. P. Tom\u00e1s, Solving Linear Constraints on Finite Domains through Parsing. This volume."},{"key":"3_CR10","unstructured":"Thomas Guckenbiehl and A. Herold, Solving Linear Diophantine Equations. Memo SEKI-85-IV-KL, Universit\u00e4t Kaiserslautern, 1985."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Huet, An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Information Processing Letters, 7(3), 1978.","DOI":"10.1016\/0020-0190(78)90078-9"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Huet, An Algorithm to Generate The Basis of Solutions to Homogeneous Linear Diophantine Equations. Rapport de Recherche no. 274, I.R.I.A., 1978.","DOI":"10.1016\/0020-0190(78)90078-9"},{"key":"3_CR13","unstructured":"Joxan Jaffar, J.-L. Lassez and M. Maher, Logic Programming language scheme. In D. DeGroot and G. Lindstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, 1986."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and J.-L. Lassez, Constraint Logic Programming. In Proceedings of the 14th POPL Conference, 1987.","DOI":"10.1145\/41625.41635"},{"key":"3_CR15","unstructured":"Jean-Louis Lassez and K. McAloon, A Canonical Form for Generalized Linear Constraints. IBM Research Report, Yorktown Heights, 1989."},{"key":"3_CR16","unstructured":"Lo\u00efc Pottier, Solutions Minimales des Syst\u00e8mes Diophantiens Lin\u00e9aires: Bornes et Algorithmes. Rapport de Recherche no. 1292, I.N.R.I.A., 1990."},{"key":"3_CR17","unstructured":"G. Steele and G. Sussman, CONSTRAINTS \u2014 A constraint based programming language. Artificial Intelligence, 1982."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"M. E. Stickel, A unification algorithm for associative-commutative functions. JACM, 28(3), 1981.","DOI":"10.1145\/322261.322262"},{"key":"3_CR19","unstructured":"Robert E. Tarjan, Recent Developments in The Complexity of Combinatorial Algorithms. Report No. STAN-CS-80-794, Stanford University, 1980."},{"key":"3_CR20","unstructured":"A. P. Tom\u00e1s and M. Filgueiras, A Congruence-based Method for Finding the Basis of Solutions to Linear Diophantine Equations. Centro de Inform\u00e1tica da Universidade do Porto, 1991."},{"key":"3_CR21","unstructured":"P. van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:33Z","timestamp":1605628533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}