Locally stratified Boolean grammars (Q948094)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Locally stratified Boolean grammars	scientific article

Statements

scholarly article

0 references

Locally stratified Boolean grammars (English)

0 references

Christos Nomikos

0 references

Panos Rondogiannis

0 references

Information and Computation

0 references

publication date

8 October 2008

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.ic.2008.03.022

0 references

0 references

Conjunctive Grammars Can Generate Non-regular Unary Languages

0 references

Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth

0 references

Well-Founded Semantics for Boolean Grammars

0 references

Unrestricted complementation in language equations over a one-letter alphabet

0 references

Temporal stratification tests for linear and branching-time deductive databases

0 references

0 references

0 references

Boolean grammars

0 references

0 references

0 references

0 references

Stratified negation in temporal logic programming and the cycle-sum test

0 references

Minimum model semantics for logic programs with negation-as-failure

0 references

The well-founded semantics for general logic programs

0 references

Mathematical Foundations of Computer Science 2005

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/j.ic.2008.03.022

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:948094

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q948094&oldid=35074847"