Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,723,368 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.
2018
2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018
R. Atkey
,
S. Lindley
MSFP@FSCD
2018
Corpus ID: 51606368
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 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010
International Workshop on Logical Frameworks and…
2010
Corpus ID: 27023023
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
2009
2009
BARK MILL EFFLUENTS AT DALTON , NATAL
Simpson
,
J. Hemens
2009
Corpus ID: 13433750
and Imhoff et UP. Activated sludge is developed in a treatment Operational data, on the running of the Dalton plant between plant…
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
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