Towards decidable classes of logic programs with function sy…

Emerging

0
Citations
0
Refs
2013
Year
Search Works
Work Details
  • OpenAlex ID W7218099257
  • Type Conference-paper
  • Language EN
  • Published 01 Jan 2013
  • Source Archive of Doctoral Theses and Digital C…
  • Publisher University of Calabria
  • Added 03 Oct 2026
  • Updated 28 Oct 2026
External Links
OpenAlex Record Publisher Page
MENU
0

Towards decidable classes of logic programs with function symbols

Conference-paper 2013 EN

0

Citations

0

References

4

Authors

0.00

FWCI

Topics
Keywords
Authors & Affiliations
4 authors
#AuthorInstitutionsORCID
1 CALAUTTI MARCO — —
2 Sergio GRECO — —
3 TRUBITSYNA IRINA — —
4 Cristian Molinaro —
Related Works
10

Data: OpenAlex