159:
447:
129:
219:
244:
195:
215:
318:
81:
457:
452:
154:
236:
142:
187:
183:
29:
117:
321:, a premier scientific and educational society on computer science and computational technology in the United States.
314:
401:
338:
333:
359:
90:
133:
232:
138:
121:
75:
34:
329:
266:
260:
55:
313:) is a scientific journal that aims to disseminate the latest findings of note in the field of
253:
207:
411:
325:
49:
407:
441:
343:
102:
380:
150:
355:
203:
292:
224:
168:
287:
430:
282:
448:
Association for
Computing Machinery academic journals
274:
251:
179:
167:
113:
99:
89:
74:
66:
61:
48:
40:
28:
158:
8:
19:
400:"ACM Transactions on Computational Logic".
18:
372:
304:ACM Transactions on Computational Logic
22:ACM Transactions on Computational Logic
7:
319:Association for Computing Machinery
14:
157:
1:
403:2020 Journal Citation Reports
474:
458:Logic in computer science
453:Computer science journals
342:, the journal had a 2020
317:. It is published by the
315:logic in computer science
279:
339:Journal Citation Reports
334:University of Cambridge
174:ACM Trans. Comput. Log.
362:on Computational Logic
360:Special Interest Group
114:Standard abbreviations
84: (United States)
410:(Science ed.).
336:). According to the
62:Publication details
35:Computational logic
25:
381:"Editorial Board"
300:
299:
465:
434:
433:
431:Official website
416:
415:
397:
391:
390:
388:
387:
377:
283:Journal homepage
263:
256:
247:
163:
161:
160:
105:
26:
23:
16:Academic journal
473:
472:
468:
467:
466:
464:
463:
462:
438:
437:
429:
428:
425:
420:
419:
412:Thomson Reuters
399:
398:
394:
385:
383:
379:
378:
374:
369:
352:
326:editor-in-chief
270:
265:
259:
252:
223:
182:
181:
137:
116:
115:
106:
101:
85:
21:
17:
12:
11:
5:
471:
469:
461:
460:
455:
450:
440:
439:
436:
435:
424:
423:External links
421:
418:
417:
408:Web of Science
392:
371:
370:
368:
365:
364:
363:
351:
348:
298:
297:
296:
295:
293:Online archive
290:
285:
277:
276:
272:
271:
257:
249:
248:
177:
176:
171:
165:
164:
111:
110:
107:
100:
97:
96:
93:
87:
86:
80:
78:
72:
71:
68:
64:
63:
59:
58:
53:
46:
45:
42:
38:
37:
32:
15:
13:
10:
9:
6:
4:
3:
2:
470:
459:
456:
454:
451:
449:
446:
445:
443:
432:
427:
426:
422:
413:
409:
405:
404:
396:
393:
382:
376:
373:
366:
361:
357:
354:
353:
349:
347:
345:
344:impact factor
341:
340:
335:
331:
327:
322:
320:
316:
312:
311:
306:
305:
294:
291:
289:
288:Online access
286:
284:
281:
280:
278:
273:
268:
264: (print)
262:
258:
255:
250:
246:
242:
238:
234:
230:
226:
221:
217:
213:
209:
205:
201:
197:
193:
189:
185:
178:
175:
172:
170:
166:
156:
152:
148:
144:
140:
135:
131:
127:
123:
119:
112:
108:
104:
103:Impact factor
98:
94:
92:
88:
83:
79:
77:
73:
69:
65:
60:
57:
54:
51:
47:
43:
39:
36:
33:
31:
27:
24:
402:
395:
384:. Retrieved
375:
337:
323:
309:
308:
303:
302:
301:
240:
228:
211:
199:
191:
173:
146:
125:
109:0.625 (2020)
70:2000–present
20:
269: (web)
442:Categories
386:2022-06-11
367:References
356:ACM SIGLOG
346:of 0.625.
330:Anuj Dawar
151:MathSciNet
56:Anuj Dawar
30:Discipline
267:1557-945X
261:1529-3785
95:Quarterly
91:Frequency
76:Publisher
358:, ACM's
350:See also
310:ACM TOCL
180:Indexing
130:Bluebook
52: by
41:Language
414:. 2021.
239:)
210:)
198:)
145:)
124:)
67:History
44:English
245:Scopus
241:·
229:·
227:
212:·
200:·
192:·
190:
147:·
126:·
50:Edited
275:Links
243:
231:
214:
204:JSTOR
202:
194:
184:CODEN
169:ISO 4
149:
128:
118:ISO 4
324:The
254:ISSN
225:MIAR
216:LCCN
196:alt2
328:is
237:alt
233:NLM
220:alt
208:alt
188:alt
155:alt
143:alt
139:NLM
134:alt
122:alt
82:ACM
444::
406:.
389:.
332:(
307:(
235:(
222:)
218:(
206:(
186:(
162:)
153:(
141:(
136:)
132:(
120:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.