Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,198,333 papers from all fields of science
Search
Sign In
Create Free Account
Federated Logic Conference
Known as:
FLoC
The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Computer Aided Verification
Computer science
Conference on Automated Deduction
Interactive Theorem Proving (conference)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018
Joachim Niehren
,
David Sabel
WPTE@FSCD
2019
Corpus ID: 168632909
2015
2015
Effluent Quality of Anaerobic Palm Oil Mill Effluent (POME) Wastewater Using Organic Coagulant
H. A. Tajuddin
,
L. Abdullah
,
A. Idris
2015
Corpus ID: 47016166
Due to the increasing awareness about the toxicity of inorganic coagulants, several investigations have been done to replace…
Expand
2010
2010
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010
LoCoCo
2010
Corpus ID: 21251496
2010
2010
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010
ITRS
2010
Corpus ID: 264961353
2007
2007
Extracellular Polymeric Substances in Activated Sludge Flocs: Extraction, Identification, and Investigation of Their Link with Cations and Fate in Sludge Digestion
Chul Park
2007
Corpus ID: 138351850
Extracellular polymeric substances (EPS) in activated sludge are known to account for the flocculent nature of activated sludge…
Expand
2006
2006
Drying and re-wetting of organic wetland sediments: Biogeochemistry and implications for wetland management
B. Sommer
2006
Corpus ID: 128452675
In this chapter physical and bulk sediment characteristics were used to describe the sediments of Lake Goollelal. Two distinct…
Expand
2006
2006
A New Framework for Analyzing Filamentous Bulking in Activated Sludge: Roles for Kinetics and Diffusion
Inchio Lou
,
F. L. Reyes
2006
Corpus ID: 3749603
Filamentous bulking is caused by the excessive growth of filaments over floc formers, and their competition was previously…
Expand
2006
2006
Moyens d'assemblage pour panneaux de revetement de sol, mur ou plafond.
Christophe Gallopin
2006
Corpus ID: 193133640
Dispositif de maintien (14) de panneaux de revetement (1) de sol, de mur ou plafond, caracterise en ce qu'il est constitue d'un…
Expand
1989
1989
Xylanase production by Trichoderma harzianum E58
D. Senior
,
P. Mayers
,
J. Saddler
Applied Microbiology and Biotechnology
1989
Corpus ID: 11131831
SummaryGrowth of Trichoderma harzianum E58 on hemicellulose-rich media, both in batch and fermentor cultures, resulted in…
Expand
1968
1968
FLOC FORMATION IN ACTIVATED SLUDGE:II. IDENTIFICATION OF TWELVE REPRESENTATIVE STRAINS ISOLATED FROM ACTIVATED SLUDGE
K. Kiuchi
,
H. Kuraishi
,
H. Murooka
,
K. Aida
,
T. Uemura
1968
Corpus ID: 90714092
The determination studies were carried out on 12 representative bacteria which were isolated from activated sludge (1), and the…
Expand