Search
Menu
Home
Sources
About
Contacts
ACM Transactions on Computational Logic
ACM
Transactions
on
Computational Logic
is a
scientific journal
that
aims
to
disseminate
the latest
findings
of note in
the field
of
logic in computer science
. It is published by the
Association for Computing Machinery
, a
premier
scientific
and
educational
society on
computer science
and computational
technology
in the
United States
.
