Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sigact/sigact6.bht:"
download as .bib file
@article{DBLP:journals/sigact/Bennison74,
author = {Victor L. Bennison},
title = {Saving tapes in the simulation of multihead turing machines},
journal = {{SIGACT} News},
volume = {6},
number = {2},
pages = {23--26},
year = {1974},
url = {https://doi.org/10.1145/1008304.1008308},
doi = {10.1145/1008304.1008308},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Bennison74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Cheriton74,
author = {David R. Cheriton},
title = {An extension to on-line multiplication lower bound results},
journal = {{SIGACT} News},
volume = {6},
number = {4},
pages = {24--31},
year = {1974},
url = {https://doi.org/10.1145/1008318.1008321},
doi = {10.1145/1008318.1008321},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Cheriton74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/ConstableP74,
author = {Robert L. Constable and
David Park},
title = {Special issue on semantics and program schemas {SIAM} journal on computing},
journal = {{SIGACT} News},
volume = {6},
number = {4},
pages = {32},
year = {1974},
url = {https://doi.org/10.1145/1008318.1008322},
doi = {10.1145/1008318.1008322},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/ConstableP74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/CookR74,
author = {Stephen A. Cook and
Robert A. Reckhow},
title = {Corrections for "On the lengths of proofs in the propositional calculus
preliminary version"},
journal = {{SIGACT} News},
volume = {6},
number = {3},
pages = {15--22},
year = {1974},
url = {https://doi.org/10.1145/1008311.1008313},
doi = {10.1145/1008311.1008313},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/CookR74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Galil74,
author = {Zvi Galil},
title = {On some direct encodings of nondeterministic Turing machines operating
in polynomial time into p-complete problems},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {19--24},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811131},
doi = {10.1145/1811129.1811131},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Galil74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/GermanoM74,
author = {Giorgio Germano and
Andrea Maggiolo{-}Schettini},
title = {Loops in Algol 60 and in category theory},
journal = {{SIGACT} News},
volume = {6},
number = {4},
pages = {21--23},
year = {1974},
url = {https://doi.org/10.1145/1008318.1008320},
doi = {10.1145/1008318.1008320},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/GermanoM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Havel74,
author = {Ivan M. Havel},
title = {Automata theory motivated by problem solving},
journal = {{SIGACT} News},
volume = {6},
number = {2},
pages = {18--23},
year = {1974},
url = {https://doi.org/10.1145/1008304.1008307},
doi = {10.1145/1008304.1008307},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Havel74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Knuth74,
author = {Donald E. Knuth},
title = {A terminological proposal},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {12--18},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811130},
doi = {10.1145/1811129.1811130},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Knuth74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Knuth74a,
author = {Donald E. Knuth},
title = {Postscript about NP-hard problems},
journal = {{SIGACT} News},
volume = {6},
number = {2},
pages = {15--16},
year = {1974},
url = {https://doi.org/10.1145/1008304.1008305},
doi = {10.1145/1008304.1008305},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Knuth74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kosaraju74,
author = {S. Rao Kosaraju},
title = {Regularity preserving functions},
journal = {{SIGACT} News},
volume = {6},
number = {2},
pages = {16--17},
year = {1974},
url = {https://doi.org/10.1145/1008304.1008306},
doi = {10.1145/1008304.1008306},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Kosaraju74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kosaraju74a,
author = {S. Rao Kosaraju},
title = {Correction to "Regularity preserving functions"},
journal = {{SIGACT} News},
volume = {6},
number = {3},
pages = {22},
year = {1974},
url = {https://doi.org/10.1145/1008311.1008314},
doi = {10.1145/1008311.1008314},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Kosaraju74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Leeuwen74,
author = {Jan van Leeuwen},
title = {A forgotten connection between tag-systems and parallel-rewriting},
journal = {{SIGACT} News},
volume = {6},
number = {4},
pages = {19--20},
year = {1974},
url = {https://doi.org/10.1145/1008318.1008319},
doi = {10.1145/1008318.1008319},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Leeuwen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LiptonS74,
author = {Richard J. Lipton and
Lawrence Snyder},
title = {On the Aanderaa-Rosenberg Conjecture},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {30--31},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811133},
doi = {10.1145/1811129.1811133},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/LiptonS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Seiferas74,
author = {Joel I. Seiferas},
title = {A note on prefixes of regular languages},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {25--29},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811132},
doi = {10.1145/1811129.1811132},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Seiferas74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/SmithL74,
author = {Carl H. Smith and
Jan van Leeuwen},
title = {Microprogrammed random access stored program machines},
journal = {{SIGACT} News},
volume = {6},
number = {3},
pages = {23--32},
year = {1974},
url = {https://doi.org/10.1145/1008311.1008315},
doi = {10.1145/1008311.1008315},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/SmithL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Wegner74,
author = {Peter Wegner},
title = {Modification of Aho and Ullman's correctness proof of Warshall's algorithm},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {32--35},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811134},
doi = {10.1145/1811129.1811134},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Wegner74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/X74,
title = {Technical reports},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {35},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811135},
doi = {10.1145/1811129.1811135},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/X74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/X74a,
title = {Recent technical reports},
journal = {{SIGACT} News},
volume = {6},
number = {2},
pages = {57--60},
year = {1974},
url = {https://doi.org/10.1145/1008304.1008309},
doi = {10.1145/1008304.1008309},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/X74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/X74b,
title = {A recent technical report},
journal = {{SIGACT} News},
volume = {6},
number = {3},
pages = {5},
year = {1974},
url = {https://doi.org/10.1145/1008311.1008312},
doi = {10.1145/1008311.1008312},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/X74b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/X74c,
title = {Recent technical reports},
journal = {{SIGACT} News},
volume = {6},
number = {3},
pages = {33--34},
year = {1974},
url = {https://doi.org/10.1145/1008311.1008316},
doi = {10.1145/1008311.1008316},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/X74c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-11 13:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
