Advances in Comparative and Environmental Physiology
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642758997, 9783642758973
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic Programs

1995 ◽  
pp. 235-264
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum
Keyword(s):  
Logic Programs

Satisfiability in the Finite

1995 ◽  
pp. 97-105
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

The Ehrenfeucht-Fraïssé Method

1995 ◽  
pp. 13-35
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

0–1 Laws

1995 ◽  
pp. 71-96
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

Quantifiers and Logical Reductions

1995 ◽  
pp. 275-311
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

Preliminaries

1995 ◽  
pp. 1-12
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

Optimization Problems

1995 ◽  
pp. 265-274
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum
Keyword(s):  
Optimization Problems

Logics with Fixed-Point Operators

1995 ◽  
pp. 165-234
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum
Keyword(s):  
Fixed Point
Load More ...
Sign in / Sign up

Export Citation Format

Share Document