BibSLEIGH — Theodor_Lettmann

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Collaborated with:

Talks about:

various (1) satisfi (1) formula (1) definit (1) under (1) order (1) first (1) class (1)

Person: Theodor Lettmann

DBLP: Lettmann:Theodor

Contributed to:

CADE 1986

1986

Wrote 1 papers:

CADE-1986-BuningL #first-order #satisfiability: Classes of First Order Formulas Under Various Satisfiability Definitions (HKB, TL), pp. 553–563.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.