You are here: Home :: Area NEM :: Computer science

Stephan Kreutzer, Nicole Schweikardt

Logic and Computer Science

As one of its most important foundations, logic has applications in many areas of computer science. In this article we present some of these applications in the areas databases , verification , and complexity theory and, at the same time, present results of our dissertations.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 46, 03/2004
Pages: 162 - 166

Journal homepage (external site)

Show all available items of this journal

 

Area NEM