The Constraint Language for Lambda Structures

Markus Egg, Alexander Koller, Joachim Niehren

Journal of Logic Language and Information · 2001 · 116 citations · 16 references

Concepts

References

16