Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,088,895 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.
Review
2018
Review
2018
SIGLOG monthly 198
Daniela Petrisan
SIGL
2018
Corpus ID: 13635437
Deadline: January 15th, 2018 Submission Deadline: January 22nd, 2018 Rebuttal: March 22 25th, 2018 Notification: April 2nd, 2018…
Expand
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 First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010
LoCoCo
2010
Corpus ID: 21251496
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
2002
2002
REDOX POTENTIAL (ORP) REGULATION OF NUTRIENT REMOVAL IN WASTEWATER TREATMENT PROCESSES AND THE STRUCTURE - FUNCTION ANALYSIS OF ACTIVATED SLUDGE FLOC
Baikun Li
2002
Corpus ID: 136047374
Dr. Baikun Li is the Professor of Environmental Engineering at the University of Connecticut (UConn). She received her Ph.D. from…
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
1982
1982
Optimization of Clostridium thermocellum growth on cellulose and pretreated wood substrates
J. Saddler
,
M. Chan
European Journal of Applied Microbiology and…
1982
Corpus ID: 20129247
SummaryTwo strains of Clostridium thermocellum ATCC 27405 and NRCC 2688 demonstrated similar product yields and cellulase…
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE