Predicate Logic with Sequence Variables and Sequence Function Symbols

Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation

Name	RISC Report Series
Nr.	05-17

Wissenschaftszweige

@techreport{64b254fd2dee4ea582571f5167388ee3,

title = "Predicate Logic with Sequence Variables and Sequence Function Symbols",

author = "Bruno Buchberger and Teimuraz Kutsia",

year = "2005",

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "05-17",

type = "WorkingPaper",

institution = "RISC",

}