Pages that link to "Item:Q1079942"

The following pages link to A view of programming languages as symbiosis of meaning and computations (Q1079942):

Displaying 2 items.

• Computation of full logic programs using one-variable environments (Q1076507) (← links)
• A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)