Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2 Publications


2022 | Journal Article | LibreCat-ID: 45849
@article{Mahmood_Meier_2022, title={Parameterised complexity of model checking and satisfiability in propositional dependence logic}, volume={90}, DOI={10.1007/s10472-021-09730-w}, number={2–3}, journal={Annals of Mathematics and Artificial Intelligence}, publisher={Springer Science and Business Media LLC}, author={Mahmood, Yasir and Meier, Arne}, year={2022}, pages={271–296} }
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 3037
@article{Alt_Behrends_Blömer_1995, title={Approximate matching of polygonal shapes}, volume={13}, number={3}, journal={Annals of Mathematics and Artificial Intelligence}, author={Alt, Helmut and Behrends, Bernd and Blömer, Johannes}, year={1995} }
LibreCat
 

Filters and Search Terms

issn=1573-7470

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed