Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Bresolin, D., Goranko, V., Montanari, A., & Sciavicco, G. In Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 240–249, Hanoi, Vietnam, November, 2009. IEEE Comp. Society Press. bibtex @inproceedings{sefm2009,
Address = {Hanoi, Vietnam},
Author = {D. Bresolin and V. Goranko and A. Montanari and G. Sciavicco},
Booktitle = {Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)},
Date-Added = {2009-11-03 16:26:15 +0100},
Date-Modified = {2014-08-27 13:00:13 +0200},
Fpage = 240,
Gcited = {18},
Lpage = 249,
Month = nov,
Numpages = 5,
Pages = {240--249},
Publisher = {IEEE Comp. Society Press},
Scited = {10},
Title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths},
Year = {2009}}
Downloads: 0
{"_id":"tpQLnzPnmCwi86xc7","bibbaseid":"bresolin-goranko-montanari-sciavicco-rightpropositionalneighborhoodlogicovernaturalnumberswithintegerconstraintsforintervallengths-2009","author_short":["Bresolin, D.","Goranko, V.","Montanari, A.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Hanoi, Vietnam","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Goranko"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"booktitle":"Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)","date-added":"2009-11-03 16:26:15 +0100","date-modified":"2014-08-27 13:00:13 +0200","fpage":"240","gcited":"18","lpage":"249","month":"November","numpages":"5","pages":"240–249","publisher":"IEEE Comp. Society Press","scited":"10","title":"Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths","year":"2009","bibtex":"@inproceedings{sefm2009,\n\tAddress = {Hanoi, Vietnam},\n\tAuthor = {D. Bresolin and V. Goranko and A. Montanari and G. Sciavicco},\n\tBooktitle = {Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)},\n\tDate-Added = {2009-11-03 16:26:15 +0100},\n\tDate-Modified = {2014-08-27 13:00:13 +0200},\n\tFpage = 240,\n\tGcited = {18},\n\tLpage = 249,\n\tMonth = nov,\n\tNumpages = 5,\n\tPages = {240--249},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {10},\n\tTitle = {Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths},\n\tYear = {2009}}\n\n","author_short":["Bresolin, D.","Goranko, V.","Montanari, A.","Sciavicco, G."],"key":"sefm2009","id":"sefm2009","bibbaseid":"bresolin-goranko-montanari-sciavicco-rightpropositionalneighborhoodlogicovernaturalnumberswithintegerconstraintsforintervallengths-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["right","propositional","neighborhood","logic","over","natural","numbers","integer","constraints","interval","lengths","bresolin","goranko","montanari","sciavicco"],"title":"Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths","year":2009}