Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Fragment of Linear Logic -- Integrating Inductive Definitions in SAT -- The Separation Theorem...

2
Published 2010
Springer Berlin Heidelberg
... sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science...